void stop(message) char *message; { printf("\n%s",message); exit(); }