include Impl.User(User_id_t)