Put out names in HelloWorld.c