int main(void)
{
  int i;
  i = 3;

  if (i == 3)
  {
    i = i + 1;
  }

  while(i > 0)
  {
    write(i);
    i = i - 1;
  }

  return i;
}