#include <stdio.h>

void my_puts(FILE * stream) {
     fputs("hello from libmylib", stream);
}