← State Machine Coding Styles for Synthesis