Added initial FSM example for Bluespec.