let pretty fmt =
  let m = LastResult.get () in
  Format.fprintf fmt
    "@[Defined function (%d):@\n  @[%a@]@\nUndefined functions (%d):@\n  @[%a@]@\nPotential entry points (%d):@\n  @[%a@]@\nSLOC: %d@\nNumber of if statements: %d@\nNumber of assignments: %d@\nNumber of loops: %d@\nNumber of calls: %d@\nNumber of gotos: %d@\nNumber of pointer access: %d@]"
    (VarinfoHashtbl.length m.functions_with_source)
    pretty_set m.functions_with_source
    (VarinfoHashtbl.length m.functions_without_source)
    pretty_set m.functions_without_source
    (number_entry_points m.functions_with_source)
    pretty_entry_points m.functions_with_source
    m.sloc
    m.if_statements
    m.assign_statements
    m.loop_statements
    m.call_statements
    m.goto_statements
    m.mem_access