f_print(fout, "\t/* NOTREACHED */\n");
write_rest(){	f_print(fout, "\tsvc_run();\n"); 	f_print(fout, "\t(void)fprintf(stderr, \"svc_run returned\\n\");\n");	f_print(fout, "\texit(1);\n");	f_print(fout, "}\n");}