#include "emul_io_std.h" void emul_out_std(char c) { putchar(c); } char emul_cin_std() { return getchar(); }