<<I'm sorry; maybe I'm missing something. I thought the discussion was about a *required* function with undefined semantics. It seems to me that there has to be some kind of deterministic behavior. If this behavior exists, what is wrong with documenting it? >> Where do you deduce that the semantics must be deterministic?