void read_char(const char *input);
void read_uchar(const unsigned char *input);
void read_void(const void *input);
void write_char(char *input);
void write_uchar(unsigned char *input);
void write_void(void *input);

void take_opaque_pointer(const void *);