1(module $m
2  (memory (export "mem") 0)
3)
4
5(assert_unlinkable
6  (module (import "m" "mem" (memory i64 0)))
7  "expected 64-bit memory, found 32-bit memory")
8