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