IFNDEF TRACE__ML__
THEN
DEFINE TRACE__ML__

let __ x =
  ignore (Format.flush_str_formatter());
  Format.kfprintf
    (fun _ -> Format.flush_str_formatter())
    Format.str_formatter x
;;
IFNDEF NTRACE
THEN

DEFINE TRACE(t, l, r) =
  (if l <= Tracer.level t then
      Tracer.trace t l (r))

ELSE

DEFINE TRACE(t, l, r) = ()

END




END