Ilustrating factorial calls