Sophie: coccinelle-examples-1.0.7-2.mga7 i586

coccinelle-examples-1.0.7-2.mga7.i586.rpm

int main () {
  if (f(3)) goto l;
  if (f(x)) x = 2;
  if (f(x+y)) return;
  l: return;
}