> On the other hand, the enums are part of userspace API so I better take > a closer look to make sure we don't run into some trouble there.
Hi Michal Yes, that is what i was thinking about. But i guess you can pass a tagged enum to a function expecting an int and the compiler will silently cast it. Which is what we should have at the moment. So i'm expecting it to be O.K. Andrew