sig val debug : bool val time : bool val printing : bool end