Se non ricordo male, comunque, l'enumeratore viene usato con la sintassi foreach, che dovrebbe essere molto più comoda.