Syntax error on line 10: .
  output c : (int, bool); // channel c to receiver
