Reproduce #5640 failing test