unit NFS_Read = {

imports[ driver : { eth_transmit eth_poll packet packetlen } netprintf : { netprintf netsprintf } iface : { arptable netmask hostname hostnamelen } stdout : Stdout_T convert : { convert_ipaddr } sprintf : Sprintf_T string : String_T clock : { ticks } ]; exports[ nfs_read : NFSRead_T rpc : RPC_T ]; ...

}