: fact | i | 1 swap loop: i [ i * ] ;