/* 1 "LANCEV2" */
/* $
     IR file generated by LANCE V2.0 (./compile) on
     Friday, Mar 17, 2006 at 14:49:54
$ */
int add(int ,int );
int main();
static char *lance_static_t3 = "%d\n";
int add(int a_2,int b_3)
{
 int c_5;
 int t1;
 /* 4 "tt2.c" */
 /* $ c=a+b;$ */
	t1 = a_2 + b_3;
	c_5 = t1;
 /* 5 "tt2.c" */
 /* $ return c;$ */
	return c_5;
}
int main()
{
 int x_7;
 int y_8;
 int z_9;
 int t2;
 int t4;
 /* 9 "tt2.c" */
 /* $ int x=9, y=7, z;$ */
	x_7 = 9;
	y_8 = 7;
 /* 10 "tt2.c" */
 /* $ z=add(x,y);$ */
	t2 = add(x_7,y_8);
	z_9 = t2;
 /* 11 "tt2.c" */
 /* $ printf("%d\n",z);$ */
	t4 = printf(lance_static_t3,z_9);
 /* 12 "tt2.c" */
 /* $ return ;$ */
	return;
}