It's necessary for the case `test8251()` in `runnable/property2.d`.