RF-13251 reproducer created