rndkey_from_vsx
rndkey_from_vsx(&rndkeys[i],
rndkey_from_vsx(&inv_rndkeys[0],
rndkey_from_vsx(&inv_rndkeys[i],