fact = map (i) [
	? [ i<0 -> return 0;
	  | i=0 -> return 1;
	  |  *  -> return i * fact (i-1); ] ]

ifact = map (i) [
	res := 1;
	k := i;
	* [ k > 0 -> res := res*k;
		     k := k-1; ]
	return (res); ]

program = map () -> () [
	* [ read_bool() -> i := read_int (); write_int (i); write_char(10);
			   write_int (ifact (i)); write_char(32);
			   write_int (fact (i));  write_char(10); ] ]