Symbol: convert_to_reg_val