let print_stat stat =
      Options.result "security state summary:";
      begin match stat with
      | 0, 0 -> Options.result "the code is secure."
      | p, s ->
          let some fmt x = Options.result fmt x (if x > 1 then "s" else ""in
          let log_p () = some "%d potential security leak%s." p in
          if s > 0 then begin
            if p > 0 then log_p ();
            some "%d probable security leak%s." s
          end else begin
            assert (p > 0);
            log_p ()
            end
      end