| ;;; TOOL: wat2wasm | |
| ;;; ARGS: --enable-annotations | |
| (module | |
| (func (@name "some func") (result i32) | |
| i32.const 42 | |
| return) | |
| (@annot annotation (@nested section)) | |
| (@section section) | |
| (@section (@nested section)) | |
| (@section (section) (@with "other") nested-subsections)) |