: factorial ( n -- n! ) [1,b] product ; CONSTANT: 10-factorial $[ 10 factorial ]