unit netprintf = {

imports[ string : String_T putchar : PutChar_T ]; exports[ out : { netprintf netsprintf } ]; ...

}