;; Function factorial (factorial)

factorial (i)
{
  double g;
  double f;
  double D.1773;
  double D.1772;
  double D.1771;
  int D.1770;

<bb 0>:
  f_2 = 1.0e+0;
  if (i_3 > 0) goto <L0>; else goto <L1>;

<L0>:;
  D.1770_6 = i_3 - 1;
  D.1771_7 = factorial (D.1770_6);
  D.1772_8 = (double) i_3;
  g_9 = D.1771_7 * D.1772_8;
  f_10 = g_9;

  # f_1 = PHI <f_2(0), f_10(1)>;
<L1>:;
  D.1773_4 = f_1;
  return D.1773_4;

}



;; Function main (main)

main (argc, argv)
{
  double f;
  int n;
  int D.1785;
  double D.1784;
  int D.1783;
  char * D.1782;
  char * * D.1781;

<bb 0>:
  if (argc_1 == 2) goto <L0>; else goto <L1>;

<L0>:;
  D.1781_5 = argv_4 + 4B;
  D.1782_6 = *D.1781_5;
  D.1783_7 = atoi (D.1782_6);
  n_8 = D.1783_7;
  D.1784_9 = factorial (n_8);
  f_10 = D.1784_9;
  printf (&"Factorial of %d is %.0lf\n"[0], n_8, f_10);

<L1>:;
  D.1785_2 = 0;
  return D.1785_2;

}