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