//#include <stdio.h>
/** function that shows a short edge in a CFG */
void edge(int a) {
	int x,y;
	if(a>0)
		x=0;  // the then case
	else 
		x=1;  // the else case
	// use resultant value of x
	/* partLine comment */ y=x; 
}
/** the ever-present foo function */
int foo(int bar){
  int z = bar;
  return z;
}