type stat = enum {sidle,splus,sminus}; channel cinput(real); channel coutput(bool,bool); channel start();