documentation suggestion: sample function names
The documentation sometimes includes sample function names that can be misread as keywords/parameters, for example:
//lint -sem( push, custodial(1))
"push" is often a keyword, for example:
#pragma pack(push, 1)
the examples in the guide are great, but sample function names that look like they could be parameters is sometimes confusing for me.
Also, if the sample function names were odd-ball and had mixed case, I think it would be a bit clearer, such as FooBar, MyFunc