forbid
forbid (hadcnt);
forbid (hadcnt);
forbid(dosusp == 0);
forbid (hadcnt);
forbid (addr < one);
forbid (addr <= one);
forbid (addr >= dol);
forbid (cnt <= 0);
forbid (c == '0' || !isalpha(c) && !isascii(c) && !isdigit(c));
forbid(!islower(c));
forbid (lastcmd[0] == 0);
forbid(lineDOL()-lineDOT() <= vcnt-1-vcline);
forbid(lineDOT()-1<=vcline); /* line 1 already there */
forbid (c == 0);
forbid(addr > dol);
forbid (addr <= zero);
forbid (dot == dol);
forbid(getkey() != 'Z');
forbid (!vreg && value(vi_UNDOMACRO) && inopen < 0);
forbid ((unsigned char)DEL[128] == 0200);
forbid (!vreg && unddol == dol);
forbid (vundkind == VMANY && undkind==UNDALL);
forbid(!value(vi_LISP));
forbid(cnt <= 0);
forbid(lfind(2, cnt, opf, (line *)0) < 0);
forbid(lfind(3, cnt - 1, opf, (line *)0) < 0);
forbid(lfind(0, cnt, opf, (line *) 0) < 0);
forbid(lfind(1, cnt, opf, (line *) 0) < 0);
forbid(!i);
forbid(getkey() != c);
forbid(Xhadcnt);
forbid(!i);
forbid(!i);
forbid(lastFKND == 0);
forbid(lastFKND == 0);
forbid(find(i) == 0);
forbid(margin() || opf == vmove && edge());
forbid(c == 0);
forbid(wdot == NOLINE);
forbid(Xhadcnt);
forbid(wdot < one || wdot > dol);
forbid(Xhadcnt);