RF-13809 reproducer created