registry.add("brev", new BRev());
registry.add("vlist", new VList());
registry.add("vmk", new VMk());
registry.add("vlen", new VLen());
registry.add("vids", new VIds());
registry.add("vadd", new VAdd());
registry.add("vset", new VSet());
registry.add("vget", new VGet());
registry.add("vacc", new VAcc());
registry.add("vrem", new VRem());