factorial implemenation on ArnoldC