unit cat = {

imports[ cfiles : CFiles_T errno : Errno_T stdout : Stdout_T ]; exports[ main : Main_T ]; ...

}