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