Synthesizes, error halting with openocd