procedure Inter(e1,e2)
   suspend |@(e1 | e2)
end