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

int read_STDIO(uint8_t* buf, size_t count, void **vptr, void *sptr);
int write_STDIO(uint8_t* buf, size_t count, void **vptr, void *sptr);