burritos/test_programs/riscv_instructions/boolean_logic/switch.c

int main() {
    int x = 0;
    switch(1) {
        case 1: x = 1; break;
        default: return;
    }
}