let callers kf =
  try
    let m = Callers.find kf in
    KernelFunctionMap.fold
      (fun key v acc  ->
         (key,StmtSet.elements v)::acc) m []
  with Not_found -> []