... __END__ __C__ void my_print(FILE *f) { fputs("TEXT",f); }