reproducer for RF-13842 created