Initial definition of User class.