include User_id_t
include Impl.User(User_id_t)