1Check that inlining disassembly in the .cfg works correctly.
2