* JSON also needs a hash randomization patch