pub type ParticipantIndex = u64;
Permanent participant index used by participant-scoped progress accounting.