unit ne = {

imports[ dev : LinuxDeviceSupport_T eth : LinuxEtherSupport_T drivers : { drivers } timer : OSEnvTimer_T ]; exports[ out : { } ]; ...

}