Successfully translated a simple factorial function