1 #include "rusticl_system_bindings.h" 2 3 FILE * stdout_ptr(void)4 stdout_ptr(void) 5 { 6 return stdout; 7 } 8 9 FILE * stderr_ptr(void)10 stderr_ptr(void) 11 { 12 return stderr; 13 } 14