function makev() {
aV[0] = new vnode(2,"");
}