Do you know why the PolySpace people are using -native false? Is it `just' because they want to link in with some C code? I would think that the foreign interface would still be good enough for that. I guess it could be that they use C because it is more portable to Windows.