State.alloc -> State._alloc with a read-only property getter