let call_for_individual_froms (state, call_stack) =
  if From_parameters.ForceCallDeps.get () then begin
    let current_function, call_site = List.hd call_stack in
    if not (!Db.Value.use_spec_instead_of_definition current_function) then
      let table_for_current_function = Kinstr.Hashtbl.create 7 in
      call_froms_stack :=
        (current_function,table_for_current_function) :: !call_froms_stack
    else
      try
        let _above_function, table = List.hd !call_froms_stack in
        let froms =
          From2.compute_using_prototype_for_state state current_function
        in
        merge_call_froms table call_site froms;
        record_callwise_dependencies_in_db call_site froms;
      with Failure "hd" ->
        From_parameters.fatal "calldeps internal error 23 empty callfromsstack %a"
          Kernel_function.pretty current_function
  end