I'm wondering if more direct way by looking for magic constants in unreachable code would be better. If we really optimize here for lack of NOPs then this test case is fine.