unit libc_files = {

imports[ posixfiles : PosixFiles_T fds : PosixFD_T errno : Errno_T malloc : Malloc_T iids : { oskit_stream_iid } ]; exports[ out : CFiles_T ]; ...

}