# 0 /app/home/loogen/public_html/Lehre/ws08/ParProg/mpd/barriere.mpd 1+

global barriere
 sem arrival = 1 , departure = 0 ; int count = 0
 op barrier ( val int n )

 body barriere ; end ;