A finite state machine module which includes an RPN expression evaluator as an example.[1]