#include <stdio.h>

inline static FILE *get_stdout() {
    return stdout;
}