If a current GDB were modified to list mi "versions" then it would only print mi2, which is the version selected by -i=mi. If your front end specifies -i=mi1 then you're on your own - it's not tested - it doesn't work. Andrew