Symbol: microcode_type