This test succeeds if it does not crash.