7 uint32_t pool_tok_r(char *str
, const char *delim
, char **saveptr
);
8 void pool_print_seq(uint32_t len
, uint32_t *seq
, char delim
, FILE *stream
);
9 uint32_t pool_tok_seq(uint32_t max
, uint32_t *seq
, char *delim
, char *str
);
10 void pool_reset(void);