List of user identifiers of other users currently using the application
vector<int53>? other_user_ids;