(void) fprintf(
	stderr, "pbmextras: \"%s\" is an unknown pbmextras program!\n", cp );
    exit( 1 );
    }