> I don't even believe that it causes ML code to be written differently. It > just requires that you have some wrapper translating between the > exception-raising style of ML code and the funny-return-value style of C code. Agreed.