(module
  (memory 0 17)
  )

;; STDOUT (update this section with `BLESS_TESTS=1` while running tests)
;; (module
;;   (memory (;0;) 0 17))
;; STDOUT