this is handled by reg_t