"newmeta" is the first free meta index, i.e. the first number above the
highest meta index: its updated value is also returned
*)
"newmeta" is the first free meta index, i.e. the first number above the
highest meta index: its updated value is also returned
*)