1 #include <stdio.h>
2 
3 FILE* lk_stdin(void);
4 FILE* lk_stdout(void);
5 FILE* lk_stderr(void);
6