6int main(
int argc,
char **argv)
18 while ((
x = *argv++)) {
25 buffer_put(buffer_1,y,
u);
26 buffer_puts(buffer_1,
"\n");
30 buffer_flush(buffer_1);
char * cache_get(const char *, unsigned int, unsigned int *, uint32 *)
void cache_set(const char *, unsigned int, const char *, unsigned int, uint32)
int cache_init(unsigned int)