downgrade-rand.diff
