1 2 3 4 5
#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);