#include "stdio_impl.h" size_t __string_read(FILE *f, unsigned char *buf, size_t len) { char *src = f->cookie; size_t k = strnlen(src, len+256); if (k < len) len = k; memcpy(buf, src, len); f->rpos = (void *)(src+len); f->rend = (void *)(src+k); f->cookie = src+k; return len; }