#include <stdio.h>

FILE* lk_stdin(void);
FILE* lk_stdout(void);
FILE* lk_stderr(void);