let
pop_ident a =
Vec
.pop a.var.ident.ivalues;
assert
(
Vec
.size a.var.ident.ivalues > 0)