Attribute Translation Grammar for GDB/MI