rndsource50_32_t
rndsource_to_rndsource50_32(rndsource_t *r, rndsource50_32_t *r50_32)
rndsource50_32_t source[RND_MAXSTATCOUNT50];
rndsource50_32_t source;