void to_stdout(char *string, ssize_t size);
int main(int argc, char const *argv[]);