struct defs

typedefs

global vars

void sum(Point_st0 *c, Point_st0 *d);
void flip(Point_st0 *a, Point_st0 *b);
void tricky_flip(Point_st0 *a, Point_st0 *b);
int main();


void flip(
Point_st0 *a, 
Point_st0 *b)
{
  (*a1).x = (*b1).y;
  (*a1).y = (*b1).x;
}

void tricky_flip(
Point_st0 *a, 
Point_st0 *b)
{
  local vars

  (*a1).x = (*b1).y;
  tmp1 = a1;
  a2 = b1;
  b2 = tmp1;
  (*a2).y = (*b2).x;
}

void sum(
Point_st0 *c, 
Point_st0 *d)
{
  local vars

  temp_141 = (*c1).x;
  temp_151 = (*d1).y;
  (*c1).x = (temp_141 + temp_151);
  temp_161 = (*c1).y;
  temp_171 = (*d1).x;
  (*c1).y = (temp_161 + temp_171);
}

int main()
{
  local vars

  temp_182 = malloc(24);
  p2 = (struct point *) temp_182;
  pointB1.x = 1.00000000000000e+00;
  pointA1.x = pointB1.x;
  pointB1.y = 1.00000000000000e+01;
  pointA1.y = pointB1.y;
  a1 = (&pointA);
  b1 = (&pointB);
  sum1(a1, b1);
  temp_292 = malloc(24);
  a2 = (struct point *) temp_292;
  temp_302 = malloc(24);
  b2 = (struct point *) temp_302;
  (*a2).y = 1.00000000000000e+00;
  (*a2).x = (*a2).y;
  (*b2).y = 1.00000000000000e+01;
  (*b2).x = (*b2).y;
  flip2(a2, b2);
  (*a2).y = 1.00000000000000e+00;
  (*a2).x = (*a2).y;
  (*b2).y = 1.00000000000000e+01;
  (*b2).x = (*b2).y;
  tricky_flip3(a2, b2);
}