vclrbyte
void vclrbyte(wchar_t *, int);
vclrbyte(vtube[WECHO], WCOLS);
vclrbyte(atube, WCOLS * (WECHO - ZERO + 1));
vclrbyte(vtube[to], WCOLS);
vclrbyte(vtube[0], WCOLS);
vclrbyte(vtube[to], WCOLS);
vclrbyte(vtube[to], WCOLS);
vclrbyte(tp, i);
vclrbyte(tpe - nc, nc);
vclrbyte(vtube[WECHO], WCOLS);
vclrbyte(vtube0, WCOLS * (WECHO - ZERO + 1));