Edit File: codingstatemachine.py