port mt19937ar.c