interface I {
  in void e();
  out void c();

  behaviour {    
    on e: { c; c; c; c; }	
  }
}

// This component has an queuefull problem
component component_queuefull_fail0 {
  provides I p;
  requires I r;
  behaviour { 
    on p.e(): { r.e(); }
    on r.c(): { p.c(); }
  }
}