Sophie: coccinelle-examples-1.0.0-0.rc4.2.fc16 i686

coccinelle-examples-1.0.0-0.rc4.2.fc16.i686.rpm

/* diamond example */
void main(int i)
{

  foo();
  if(1) 
    bar(1);
  else
    bar(2);
  foobar();

}