#include <cstdio>

namespace std {

  size_t fread(void *buffer, size_t size, size_t count, FILE *stream) {
    return stream->try_read(buffer, size * count) ? count : 0;
  }

}