/*
 * help.h
 * $Id: help.h,v 1.2 2001/08/11 22:09:50 cb Exp $
 * Christoph Berg <cb@cs.uni-sb.de>
 *
 * 010729
 */

void die(char *format, ...);
void help();