`switch` codegen