My work

I think having the reproduction (bug_9122.d) is useful until the bug is resolved.