4 uint32_t pool_intern(const char *key
);
5 const char *pool_fetch(uint32_t entry
);
6 uint32_t pool_tok_r(char *str
, const char *delim
, char **saveptr
);
7 void pool_print_seq(uint32_t len
, const uint32_t *seq
, char delim
, FILE *stream
);
8 void pool_print_seq_q(uint32_t len
, const uint32_t *seq
, char delim
, FILE *stream
);
9 uint32_t pool_tok_seq(uint32_t sz
, uint32_t *seq
, const char *delim
, char *str
);
10 void pool_reset(void);
