/* EPC Imp to C Translation Release 4 Version Apr 95 */


#include "imptoc.h"

main() {
static void test() {
static void staticproc() {
 fprintf(out_file, "%s", "Greetings!");	 fprintf(out_file, "%s", "\n");
}
 
 fprintf(out_file, "%s", "Hello world");	 fprintf(out_file, "%s", "\n");
 staticproc();
}
 
 selectoutput(0);
 test();
 
exit(0);
}

/* end of automatic translation */