#ifndef _RND_H_dfd573aa_
#define _RND_H_dfd573aa_

extern void random_data(void *, int);

#endif