this seems to fix a segfault...

Still does not synth that state machine...