Syntax error on line 49: .
  instance p1 : process1(b2, x);
