Main registers implemented as @property