96e501dc5304d5381f982ce1c042f59910ce97e9
1#ifndef STRING_POOL_H_
2#define STRING_POOL_H_
3uint32_t pool_intern(const char *key);
5const char *pool_fetch(uint32_t entry);
6uint32_t pool_tok_r(char *str, const char *delim, char **saveptr);
7void pool_print_seq(uint32_t len, const uint32_t *seq, char delim, FILE *stream);
8void pool_print_seq_q(uint32_t len, const uint32_t *seq, char delim, FILE *stream);
9uint32_t pool_tok_seq(uint32_t sz, uint32_t *seq, const char *delim, char *str);
10void pool_reset(void);
11#endif