#ifndef _CCR_PRNG_H_
#define _CCR_PRNG_H_


int ccr_prng_bit();
int ccr_prng_int(int);

#endif