;; Second module for the test.

(module
  (func $second (export "second") (result i32)
    (i32.const 1337)
  )
)