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