#include <stdio.h>

void my_puts(FILE*);