let mk_name prefix kf ki b nth sufix =
  let ki_info = match ki with Kglobal -> ""
    |  Kstmt s -> ("_stmt"^(string_of_int s.sid))
  in
  let bhv_name =
    if b.b_name =  Cil.default_behavior_name then "" else ("_"^b.b_name)
  in
    Pretty_utils.sfprintf "%s%a%s%s_%d%s"
      prefix
      Kernel_function.pretty  kf
      bhv_name
      ki_info
      nth
      sufix