typed_registers
