I have been going through a document on C coding standards. I came across a coding standard stating "[C161] Any conditions under which the output of a function is inval