$module Fact;

$use Arithm StdIO;

$func Fact s.n = s.n;
Fact {
	0 = 1;
	s.n = <Mult s.n <Fact <Sub s.n 1>>>;
};

$func Main = e;

Main = <PrintLn <Fact 1000>>;