Modifica hello_world.c para inspecionar não-reentrância do printf