let get_called_funcs ki =
    match ki.skind with
      | Instr (Call (_,expr_f,_,_)) ->
          Kernel_function.Set.elements 
            (snd (!Value.expr_to_kernel_function
                   (Kstmt ki)
                   ~with_alarms:CilE.warn_none_mode
                   ~deps:None
                   expr_f))
       | _ -> []