#ifndef __JENKINS_H__
#define __JENKINS_H__
void raninit(uint32_t seed);
uint32_t ranval(void);
#endif