unit netio_obj = {

imports[ recv : { push push_data } netio : NetIO_T ]; exports[ out : { nio } ]; ...

}