modify to export CURAND-STATE-XORWOW* type