# 1 "cilcode.tmp/ex39.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex39.cil.c"
# 1 "cilcode.tmp/ex39.c"
typedef int int_t;
# 2 "cilcode.tmp/ex39.c"
typedef int int2_t;
# 4 "cilcode.tmp/ex39.c"
int_t f(int2_t *int2_t___0 )
{
  int_t int_t___0 ;
  int int2_t___1 ;

  {
# 5 "cilcode.tmp/ex39.c"
  int_t___0 = *(int2_t___0 + 0);
# 7 "cilcode.tmp/ex39.c"
  int2_t___1 = 2 * int_t___0;
# 8 "cilcode.tmp/ex39.c"
  return (int2_t___1);
}
}
