59   const char *tmp;  in print_operand_control_register()  local
61   tmp = tic80_value_to_symbol (value, TIC80_OPERAND_CR);  in print_operand_control_register()
62   if (tmp != NULL)  in print_operand_control_register()
63     (*info->fprintf_func) (info->stream, "%s", tmp);  in print_operand_control_register()
71   const char *tmp;  in print_operand_condition_code()  local
73   tmp = tic80_value_to_symbol (value, TIC80_OPERAND_CC);  in print_operand_condition_code()
74   if (tmp != NULL)  in print_operand_condition_code()
75     (*info->fprintf_func) (info->stream, "%s", tmp);  in print_operand_condition_code()
84   const char *tmp;  in print_operand_bitnum()  local
87   tmp = tic80_value_to_symbol (bitnum, TIC80_OPERAND_BITNUM);  in print_operand_bitnum()
88   if (tmp != NULL)  in print_operand_bitnum()
89     (*info->fprintf_func) (info->stream, "%s", tmp);  in print_operand_bitnum()