HIGH_BIT_RESULT_LENGTH

badreslen.wat (86 bytes) — warp_run returns packed (resPtr = 0, resLen = 0x8000_0000): a result length with bit 31 set. Signed-int narrowing would wrap it negative and hit a raw negative-size allocation escaping the sealed exception hierarchy.