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))