bug in dcache.py where when two stores occur in the same real page