c ( factorial ) . factorial:recursive ( 7 )