Added assertions
Added call to setup_state_machines()
Added assertions.
Whitespace
Uncommented field initialization.