/* File: hello.c

   Hello world revisited.
*/
#include <stdio.h>

main() {
#include "print.c"   
}