(module (func $export64 (result i64) (i64.const 1)) (export "a" $export64))