FYI, our section at JPL (DSN Data Systems) has adopted the DeSmet compiler for any C programming that needs to be done (none as yet) after similar testing. Apparently, their main concern is development (read: compile & go) time.