Bz802721

reproducer moved to separate branch (and pull request)