(bind-func xt_pcg32_random_r:[i32,PCG_RNG_State*]* "Generate a uniformaly distributed 32-bit random number