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.