#5640 Reproduce failing test