In questo caso, però, mi sembra di potere dire che lanci l'header dopo avere già stampato qualcosa a video, per cui non dovrebbe mai funzionare così!