// Place global declarations here. clock c; chan press;// Place template instantiations here. // List one or more processes to be composed into a system. system Lamp, User;