1(module $counter 2 ;; import `next_i32` function from the `env` module. 3 (import "env" "next_i32" (func (result i32))) 4 ;; get returns the next counter value by calling the imported `next_i32` function. 5 (func (export "get") (result i32) (call 0)) 6)