Test case for #9938

Marked as known_broken