]> fsm ENTRY ENTRY (SETF (VAR 6) 23) STATE21445 STATE21445 (SETF (VAR 3) (VAR 6)) ENTRY->STATE21445 STATE21458 STATE21458 (SETF (VAR 4) (ZEROP (VAR 3))) STATE21445->STATE21458 STATE21459 STATE21459 STATE21458->STATE21459 STATE21460 STATE21460 T STATE21459->STATE21460 (VAR 4):true STATE21461 STATE21461 (SETF (VAR 5) (1- (VAR 3))) STATE21459->STATE21461 (VAR 4):false STATE21446 STATE21446 (SETF (VAR 0) (VAR 6)) STATE21460->STATE21446 STATE21462 STATE21462 (SETF (VAR 0) (VAR 5)) STATE21461->STATE21462 STATE21463 STATE21463 (SETF (VAR 1) (ZEROP (VAR 0))) STATE21462->STATE21463 STATE21464 STATE21464 STATE21463->STATE21464 STATE21465 STATE21465 NIL STATE21464->STATE21465 (VAR 1):true STATE21466 STATE21466 (SETF (VAR 2) (1- (VAR 0))) STATE21464->STATE21466 (VAR 1):false STATE21465->STATE21446 STATE21467 STATE21467 (SETF (VAR 3) (VAR 2)) STATE21466->STATE21467 STATE21467->STATE21458 STATE21447 STATE21447 (SETF (VAR 1) (ZEROP (VAR 0))) STATE21446->STATE21447 STATE21448 STATE21448 STATE21447->STATE21448 STATE21449 STATE21449 (SETF RESULT NIL) STATE21448->STATE21449 (VAR 1):true STATE21450 STATE21450 (SETF (VAR 2) (1- (VAR 0))) STATE21448->STATE21450 (VAR 1):false OUT OUT STATE21449->OUT STATE21451 STATE21451 (SETF (VAR 3) (VAR 2)) STATE21450->STATE21451 STATE21452 STATE21452 (SETF (VAR 4) (ZEROP (VAR 3))) STATE21451->STATE21452 STATE21453 STATE21453 STATE21452->STATE21453 STATE21454 STATE21454 (SETF RESULT T) STATE21453->STATE21454 (VAR 4):true STATE21455 STATE21455 (SETF (VAR 5) (1- (VAR 3))) STATE21453->STATE21455 (VAR 4):false STATE21454->OUT STATE21456 STATE21456 (SETF (VAR 0) (VAR 5)) STATE21455->STATE21456 STATE21456->STATE21447