Update hallowelt.c