The reproducible test case is in PR #80.
The reproducible test case is in PR #80.