#include <stdint.h>
#include <stddef.h>

int stdio_read(uint8_t* buf, size_t count, void **vptr, void *sptr);
int stdio_write(uint8_t* buf, size_t count, void **vptr, void *sptr);