uint factorial( uint n ) {
   if ( n == 0 ) return 1;
   return n * factorial( n - 1 );
}

void main() {
   assert( factorial( 5 ) == 120 );
}