RF-13852 reproducer created