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