Defines test that exposes a NullPointerException bug.