user top-level property

User user
getter/setter pair

Implementation

User user = User();