In alternativa, dopo la prima printf metti fflush(stdout);