wrtchar
wrtchar(c, vs.so_at);
wrtchar(c, vs.so_at);
wrtchar(c, vs.at);
wrtchar(c, vs.so_at);
wrtchar(d->color | ' ', d);
wrtchar(d->color_so|(c<<8), d);
wrtchar(d->color | (c<<8), d);
wrtchar(' ', d);
wrtchar(c, d);
wrtchar(d->color | ' ', d);
wrtchar(d->color_so|(c<<8), d);
wrtchar(d->color | (c<<8), d);