let dump_state initial_state =
  let l = fst (CurrentLoc.get ()) in
  Value_parameters.result
    "DUMPING STATE of file %s line %d@\n%a=END OF DUMP=="
    l.Lexing.pos_fname l.Lexing.pos_lnum
    Cvalue.Model.pretty initial_state;
  None, initial_state, Location_Bits.Top_Param.bottom