NetworkPort {NetworkPort.Close}:int {NetworkPort.ContentLength}:int {NetworkPort.ContentType}:symbol {NetworkPort.Flush}:void {NetworkPort.init h:int bufsize:int=512} {NetworkPort.ReadText t:text n:int}:int {NetworkPort.Refill}:void {NetworkPort.WriteCh c:char}:void {NetworkPort.WriteSlice t:text start:int len:int}:void {NetworkPort.WriteText t:text}:void