here's the test

It fails on unmodified code, and succeeds on patched code.

Please feel free to comment if anything needs to be done differently.