/*immutable type bool;


constant bool TRUE;
constant bool FALSE;
*/

void bool_initMod (void) internalState; { modifies internalState; }
observer char *bool_unparse (bool b) { modifies nothing; } 
bool bool_not (bool b) { modifies nothing; }
bool bool_equal (bool b1, bool b2) { modifies nothing; }