sig val debug : bool val nagain : int end