let dbg = if debug then prerr_endline else (fun _ -> ())