RF-13715 reproducer created