class RegisterManager {

	public Register getRegister(Address addr) {
		if (!addr.isRegisterAddress() && !addr.getAddressSpace().hasMappedRegisters()) {
			return null;
		}
		return sizeMap.get(new RegisterSizeKey(addr, 0));
	}

	  RegisterManager(Register[] cookedRegisters);

}