botch(str)
char *str;
{
    printf(str);
    abort();
}