factorial: int n -> int
	| n 0 == -> 1
	| 1      -> n 1 - factorial n * duplicate println
	;

25 factorial