let dump_args name initial_state actuals =
  Value_parameters.result "Called %s%a%t"
    name
    pretty_actuals actuals
    Value_util.pp_callstack;
  None, initial_state, Location_Bits.Top_Param.bottom