State Marker for Wirth Notation