disabled vc++ warning 4013 in ctr_prng.c