wasm2glulx_spectest_macro::spectest!("spec-tests/switch.wast");