Public domain RadioGatún[32] implementation