Initial import of (failed) reproduction case.