Add header file for park_miller_rand_cwrapper