include module type of User_id_t