1 #include <streams.h>
2 
lk_stdin(void)3 FILE* lk_stdin(void) {
4     return stdin;
5 }
6 
lk_stdout(void)7 FILE* lk_stdout(void) {
8     return stderr;
9 }
10 
lk_stderr(void)11 FILE* lk_stderr(void) {
12     return stderr;
13 }
14