# v-0008: line 6: switch statement must have exactly one default clause
entry_point vertex = main;
fn main() -> void {
var a: i32 = 2;
switch (a) {
case 2: {}
}
return;