They I don't see what you point was since these rules are specifically for safety critical systems written in C.