batteryPercentage (variable, integer, from 0 to 100)

numRoundsSinceLastLeadership (variable, integer, describes the number of times since I was a leader)

timeSinceLastLeadership (variable, integer, number of milliseconds since I was a leader)

preferredLeadershipCycle (constant, integer, 5 minutes in millisseconds, 3 * 10^5)

randomFactor (variable, integer, a random number from 0 to 100)