fac i = if (eq i 0) 1 (mul i (fac (sub i 1)));
start = fac 5;