ALT_TYPE_INSTRUCTIONS
alt_type = ALT_TYPE_INSTRUCTIONS;
case ALT_TYPE_INSTRUCTIONS:
if (alt->type == ALT_TYPE_INSTRUCTIONS) {