debug-code should still fail