State Diagram: TOP:START