// Place global declarations here. const int N = 3; int[0,3] count = 0; // count keeps track of how many guys have arrived at the barrier int[-3,3] barrier = 0; // <=0 until all guys arrive, and >0 when it should be unlocked// Place template instantiations here. John = Guy(1); Frank = Guy(2); Ole = Guy(3); // List one or more processes to be composed into a system. system John, Frank, Ole;