let fresh_meta = !next_fresh_meta in
let fresh_meta' = fresh_meta + 1 in
next_fresh_meta := !next_fresh_meta + 2 ;
let subst_item = uri,C.Meta (fresh_meta',[]) in
newmetasenvfragment :=
let fresh_meta = !next_fresh_meta in
let fresh_meta' = fresh_meta + 1 in
next_fresh_meta := !next_fresh_meta + 2 ;
let subst_item = uri,C.Meta (fresh_meta',[]) in
newmetasenvfragment :=