unit libc_stdin = {

imports[ console : Console_T stdout : Stdout_T ]; exports[ stdin : Stdin_T ]; ...

}