9.25.2 Syntax for the MicroBlaze