let called_info (project, _fm) call_stmt = match call_stmt.skind with
    | Instr (Call (_, _fexp, _, _)) ->
        begin
          let called_functions = Db.Value.call_to_kernel_function call_stmt in
          match called_functions with
            | called_kf :: [] ->
                begin
                let fm =
                    Marks.get_marks project called_kf
                in match fm with
                  | None -> None
                  | Some fm -> Some (called_kf, fm)
                end
            | _ -> None
        end
    | _ -> Sparecode_params.fatal "this call is not a call"