component QueueFull2
{
  provides IP pp;
  requires IR rp;
  
  behaviour
  {
    on pp.ia(): rp.ia();
    on rp.oa(): {}
  }
}

interface IP
{
  in void ia();
  
  behaviour
  {
    on ia: {}
  }
}

interface IR
{
  in void ia();
  out void oa();
  
  behaviour
  {
    on ia: {oa; oa; oa; oa; oa;}
  }
}