some data for reproducing bugs in soot