RF-13532 reproducer created