int k = 0;

Se non inizializzi si creano problemi e potresti trovare valori non coerenti.
Non è assolutamente vero che ti basta scriver int k; per essere certo che k valga 0.