#include <stdio.h>

FILE* libc_stdout(void){
  return stdout;
}