/*	Public domain	*/

__BEGIN_DECLS
u_int32_t	CGI_Arc4random(void);
__END_DECLS