The following function fails to compile in band 5 on pack F (CADR2).
It gets an error in Lap because the same tag appears twice in the macrocode.
(defun farce ()
(DO ()
((NULL AREA-LIST))
NIL))
The error only appears for DO's that have empty variable-lists.