Presentation: Leader election code snippet