Test for WK110257: This test passes if it does not crash.