resource ChServer
   import Io
   op copen (int port_number) returns IoDesc io_desc
   op done ()
body ChServer (int read_ports) separate