If you compile luac with -DLUAI_ASSERT then `luac -l <file>` will no longer work. The issue is that PrintCode uses the GETARG_Ax... macros at the beginning of a loop but those macros assert that the instruction supports having those arguments read. Since these are called unconditionally the listing will fail as soon as any ABC instruction is encountered.
-Alex
