monitor s{
int suma;
void inc() {
suma=suma+1;
}
int getSuma() {
return suma;
init{
suma=0;
void pro(int n){
int i;
for(i=0; i<n; i=i+1) inc();
main(){
cobegin{
pro(10); pro(10);
cout << getSuma() << endl;