#ifndef EMUL_IO_STD__ #define EMUL_IO_STD__ #include <stdio.h> void emul_out_std(char c); char emul_cin_std(); #endif