Made seq_num a global variable so new leader can start at correct place.