/* Last edited on 2024-12-21 11:44:58 by stolfi */ #include #include #include #include #include #include #include int main (int argc,char **argv) { fprintf(stderr, "goodbye,cruel world..>\n"); return 0; }