pub fn corruptSwitch() noreturn
pub fn corruptSwitch() noreturn { call("switch on corrupt value", null); }