I added getters for the registers values