let number_entry_points fs =
  VarinfoHashtbl.fold
    (fun f n acc -> if n = 0 && not f.vaddrof then succ acc else acc)
    fs
    0