cowmain.h

void terminate(int error);