Symbol: op_aux_convert