Improved microcode syntax, partially complete