#include "stdio_impl.h"
#include <string.h>

size_t __string_read(FILE* f, unsigned char* buf, size_t len) {
  char* src = f->cookie;
  size_t k = len + 256;
  char* end = memchr(src, 0, k);
  if (end)
    k = end - src;
  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;
}