Update rand_sfmt.c