<br>
<div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>(<br>  'a' |<br>  'b' |<br>  'c' |<br>  ...<br>) @1 |<br>(<br>  any @0<br>)</blockquote>

<div> </div>
<div> </div>
<div>Is this 'any' going to be for the life of the machine, like my original 'any* 'which won't work in my case,</div>
<div>or just for this section of the State Chart, which is what I need?</div></div>