;;; TOOL: run-roundtrip
;;; ARGS: --stdout --fold-exprs --enable-bulk-memory

(module
  (memory 1)
  (data "a")
  (func
    i32.const 0 i32.const 0 i32.const 0 memory.init 0
    data.drop 0
    i32.const 0 i32.const 0 i32.const 0 memory.copy
    i32.const 0 i32.const 0 i32.const 0 memory.fill
  )

  (table 1 anyfunc)
  (elem func 0)
  (func
    i32.const 0 i32.const 0 i32.const 0 table.init 0
    elem.drop 0
    i32.const 0 i32.const 0 i32.const 0 table.copy
  )
)
(;; STDOUT ;;;
(module
  (type (;0;) (func))
  (func (;0;) (type 0)
    (memory.init 0
      (i32.const 0)
      (i32.const 0)
      (i32.const 0))
    (data.drop 0)
    (memory.copy
      (i32.const 0)
      (i32.const 0)
      (i32.const 0))
    (memory.fill
      (i32.const 0)
      (i32.const 0)
      (i32.const 0)))
  (func (;1;) (type 0)
    (table.init 0
      (i32.const 0)
      (i32.const 0)
      (i32.const 0))
    (elem.drop 0)
    (table.copy
      (i32.const 0)
      (i32.const 0)
      (i32.const 0)))
  (table (;0;) 1 funcref)
  (memory (;0;) 1)
  (elem (;0;) func 0)
  (data (;0;) "a"))
;;; STDOUT ;;)