ok, instruction synthesis is finally working, but not heavily
tested yet