let unspecify_escaping_locals is_local t =
(*
{initialized = t.initialized;
no_escaping_adr = false;
v = V.remove_escaping_locals is_local (get_v t)}
*)
let flags = get_flags t in
let flags = flags land mask_init in
create flags (V.remove_escaping_locals is_local (get_v t))