/* * Author: Hans van Eck. */ /* $Header$ */ extern int state; #define KNOWN 1 #define NOTREACHED 2