(module (func
  (local $n i32)
  i32.const 12
  set_local $n))