Re: Reproducer for bug #1390198