printf() nel thread, sistemato l'output