markpr
void markpr(line *);
markpr(dot);
markpr(addr2 == dot ? addr1 - 1 : addr2 + 1);
markpr(dot);
markpr(dot);
markpr(addr);
markpr(one);
markpr(dot);