Add source code to hello.c (it had been forgotten)