> What actually surprised me is that neither J=E9r=F4me nor you noticed > that that implementation isn't being used for anything we have defined > semantics for. But if it is used at all, it is a mistake. After all, Only recently has C tried to define semantics for fpt at all, but that is not an excuse for doing something completely wrong :-)