Symbol: regs_to_tm