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