Symbol: ex_regs