ary2sv            773 enumerator.c       return ary2sv(vs, 0);
ary2sv            847 enumerator.c       return ary2sv(vs, 1);