let call_for_individual_froms (state, call_stack) =
  if  Parameters.Dynamic.Bool.get "-calldeps"
  then begin
    let current_function, call_site = List.hd call_stack in
    match current_function.fundec with
      Definition _ ->
        let table_for_current_function = InstrHashtbl.create 7 in
        call_froms_stack :=
          (current_function,table_for_current_function) :: !call_froms_stack
    | Declaration _ ->
        ( 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_name current_function )
  end