| (module | |
| (type $i32_=>_i32 (func (param i32) (result i32))) | |
| (type $none_=>_i32 (func (result i32))) | |
| (memory $0 1) | |
| (export "memory" (memory $0)) | |
| (export "grow" (func $0)) | |
| (export "current" (func $1)) | |
| (func $0 (type $i32_=>_i32) (param $0 i32) (result i32) | |
| (memory.grow | |
| (local.get $0) | |
| ) | |
| ) | |
| (func $1 (type $none_=>_i32) (result i32) | |
| (memory.size) | |
| ) | |
| ) | |