vjumpto
void vjumpto(line *, unsigned char *, unsigned char);
vjumpto(dot, (unsigned char *) 0, '.');
vjumpto(dot, cursor, 0);
vjumpto(addr, (unsigned char *)NOSTR, c);
vjumpto(dot, cursor, '.');
vjumpto(dot, ocurs, 0);
vjumpto(dot, ocurs, 0);
vjumpto(addr, (unsigned char *)loc1, c);
vjumpto(dot, (unsigned char *)NOSTR, '.');
vjumpto(dot, vUNDcurs, 0);
vjumpto(addr, curs, context);