repository for reproducing a suspected 4store bug