testHashCode() in RegistersTest passes.