XMI-MSIM for Mac OS X verified