si 12
ma è un pò confuso fare
int a;
for (a=0; a<5; a=a+3)
a = f(5);

cioè modificare il valore del contatore... così il ciclo invece di eseguirsi 2 volte(0<5 e 4<5) si esegue 1 sola volta perchè (0<5 ma 9<5 è falsa) e non dovrebbe essere possibile che il contatore arriva a 9...