let unspecify_escaping_locals is_local t =
    let flags = get_flags t in
    let flags = flags land mask_init
      (* clear noesc flag *)
    in
    let locals, v =
      V.remove_escaping_locals is_local (get_v t)
    in
    locals, create flags v