List of user identifiers of other users currently using the application.
late List<int> other_user_ids;