RF-13832 reproducer created