[
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"module"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$hello.wasm"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;0;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;1;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;2;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;3;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;4;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;5;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;6;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;7;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;8;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"import"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"wasi_snapshot_preview1\""},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"fd_close\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_close"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"import"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"wasi_snapshot_preview1\""},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"fd_fdstat_get\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_fdstat_get"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"import"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"wasi_snapshot_preview1\""},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"fd_seek\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_seek"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"import"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"wasi_snapshot_preview1\""},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"fd_write\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_write"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"import"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"wasi_snapshot_preview1\""},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"proc_exit\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_proc_exit"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Punctuation","value":")))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasm_call_ctors"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$_start"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$GOT.data.internal.__memory_base"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1168"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$GOT.data.internal.__memory_base"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1168"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasm_call_ctors"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__original_main"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasm_call_dtors"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"unreachable"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_proc_exit"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"unreachable"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__original_main"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1024"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$puts"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_close"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_close"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"65535"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_fdstat_get"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_fdstat_get"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"65535"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_seek"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_seek"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"65535"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_write"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_fd_write"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"65535"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_proc_exit"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__imported_wasi_snapshot_preview1_proc_exit"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"unreachable"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$dummy"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasm_call_dtors"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$dummy"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_exit"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__ofl_lock"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1172"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_exit"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__ofl_lock"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"loop"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i64.extend_i32_s"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"36"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"52"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1176"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i64.extend_i32_s"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"36"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1152"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i64.extend_i32_s"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"36"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1176"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i64.extend_i32_s"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"36"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"drop"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__towrite"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"60"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.or"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"60"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.or"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i64.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i64.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"align"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"40"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"44"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$fwrite"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.mul"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__towrite"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.le_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"64"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.ge_s"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"Keyword","value":"loop"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @4"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"10"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@4;)"},
  {"type":"Text","value":"\n          "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.lt_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"memory.copy"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.ne"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.div_u"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$fputs"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$strlen"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$fwrite"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.ne"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__overflow"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store8"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"15"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__towrite"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"64"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"255"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"15"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call_indirect"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"15"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$puts"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1040"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$fputs"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.ge_s"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1104"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"10"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1060"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1056"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1060"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"10"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1040"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"10"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__overflow"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"31"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.shr_s"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasilibc_populate_preopens"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$close"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasilibc_populate_preopens"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_close"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1180"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_close"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"56"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$close"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$writev"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.gt_s"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"28"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1180"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"12"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_write"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1180"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"12"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_write"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"12"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"56"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$writev"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"loop"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @4"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.gt_s"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@4;)"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i64.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i64.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.or"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n            "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n          "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.gt_u"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"9"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"9"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"12"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"7"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"9"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"6"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"56"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"9"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"5"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$writev"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.ne"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"40"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"24"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"20"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"44"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__isatty"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_fdstat_get"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"59"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.ne"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"36"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1180"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdout_write"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"32"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"64"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"56"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__isatty"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"64"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_write"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__lseek"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.get"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"255"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__wasi_fd_seek"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"70"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"76"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"select"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.store"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"1180"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i64.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i64.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"8"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"16"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"global.set"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_seek"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i64"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"offset"},
  {"type":"Operator","value":"="},
  {"type":"LiteralNumberInteger","value":"56"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"call"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__lseek"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$strlen"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"type"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"param"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"result"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"local"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"block"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @3"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@3;)"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n          "},
  {"type":"NameBuiltin","value":"return"},
  {"type":"Text","value":"\n        "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eqz"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@1;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-4"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"-5"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n      "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"loop"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"16843008"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"4"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.tee"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.or"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"-2139062144"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.and"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"-2139062144"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.eq"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"loop"},
  {"type":"Text","value":"  "},
  {"type":"CommentSingle","value":";; label = @2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.load8_u"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"i32.add"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.set"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"3"},
  {"type":"Text","value":"\n        "},
  {"type":"NameBuiltin","value":"br_if"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;@2;)"},
  {"type":"Text","value":"\n      "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"Keyword","value":"end"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"local.get"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Text","value":"\n    "},
  {"type":"NameBuiltin","value":"i32.sub"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"table"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;0;)"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"5 5"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"funcref"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"memory"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;0;)"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"2"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"global"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stack_pointer"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"mut"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"67760"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"global"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$GOT.data.internal.__memory_base"},
  {"type":"Text","value":" "},
  {"type":"KeywordType","value":"i32"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"export"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"memory\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"memory"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"0"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"export"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"_start\""},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$_start"},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"elem"},
  {"type":"Text","value":" "},
  {"type":"CommentMultiline","value":"(;0;)"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberInteger","value":"1"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Keyword","value":"func"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_write"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_close"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdout_write"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$__stdio_seek"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"data"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$.rodata"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1024"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\"Hello World!"},
  {"type":"LiteralStringEscape","value":"\\00"},
  {"type":"LiteralStringDouble","value":"\""},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n  "},
  {"type":"Punctuation","value":"("},
  {"type":"Keyword","value":"data"},
  {"type":"Text","value":" "},
  {"type":"NameVariable","value":"$.data"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"NameBuiltin","value":"i32.const"},
  {"type":"Text","value":" "},
  {"type":"LiteralNumberFloat","value":"1040"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"LiteralStringDouble","value":"\""},
  {"type":"LiteralStringEscape","value":"\\05\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\02\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\03\\00\\00\\00\\04\\00\\00\\00\\a8\\04\\00\\00\\00\\04\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\01\\00\\00\\00\\00\\00\\00\\00\\0a\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\10\\04\\00\\00"},
  {"type":"LiteralStringDouble","value":"\""},
  {"type":"Punctuation","value":"))"},
  {"type":"Text","value":"\n"}
]