Comment by pascal_cuoq

Yes, the first two examples in the article weren't obviously enough undefined for the authors of CIL who wrote the list, apparently.