A função "Fct_1", definida entre as linhas 16 e 39, exige, como primeiro argumento, um inteiro. Apesar dessa exigência, não haverá erro, em fase de compilação, na linha 56 do trecho de código ao lado, ao ser enviada a enumeração "d_2" de tipo "Def" (l.12) na chamada dessa função.
