storage pair
nbVotes int
storedValue nat