> Like I said, you are assuming that the choice only depends on the values, and > I don't think that that is the case. I'll try and create an example. OK, I'm nervous enough. I put it all under an #ifdef that I'll tell the PolySpace guys about. BTW, would y'all like my email with them to go through the MLton mailing list?