[C] Ciclo for() non fa nulla

[tredecoppe]

Salve a tutti, sta volta mi sono inbattuto in un altro problema da novellini... qualcuno saprebbe darmi una mano?

In pratica il codice è questo:

#include <stdio.h>

int k;

main()
{
char v1[] = "bene" ;
char v2[] = "male" ;


k = 0;
do{
     printf("%c", v1[k]);
     k += 1;
}
while(k < 5);

for(k = 0; k < 5; k++); printf("%c", v2[k]);
}

Sono presenti un for e un while che dovrebbero svolgere la stessa funzione... solamente che il for non ne vuole sapere di funzionare... perchè???