Are notes and examples in the core language specification of the C Standard nonnormative