$ENTRY FACT {
 s.101  = <F4 s.101 > ;
}

* InputFormat: <F4 s.101 >
F4 {
 0  = 1 ;
 s.101  , <SUB (s.101 ) 1 >:s.112
        , <MUL (s.101 ) <F4 s.112 >>:e.102  
        = e.102 ;
}