typeof p=Conn;;

fun _connected()=
 set p=mkConn [0 nil "" 0 0 nil nil 0];
 _SRVconnected p;;
 
fun _closed()=_SRVclosed p;;
fun __getpack()=_SRVgetpack p;;
fun __version(i)=_SRVversion p i;;
fun __nextpack()=_SRVnextpack p;;
fun __next()=_SRVnext p;;
fun __skip()=_SRVskip p;;
fun __downl()=_SRVdownl p;;