randomid_t
extern uint32_t randomid(randomid_t);
extern randomid_t randomid_new(int, long);
extern void randomid_delete(randomid_t);
static randomid_t ctx = NULL;
static randomid_t ctx = NULL;