ulong -rc factorial (ulong n)
                 -> (ulong -w result = 1)
{
  if (n > 1) 
  {
    result = n * factorial (n - 1);
  }
}