(module
 (func $run (result i32)
       (i32.const 123))
 (export "gyehoek:gyehoek/program@0.1.0#run"
         (func $run)))