#define SDL_INOUT_Z_CAP(x) _Inout_z_cap_(x)
strlcatにアノテーションを付与するとする:
size_t strlcat(SDL_INOUT_Z_CAP(maxlen) char *dst, const char *src, size_t maxlen);
これはdstはNUL終端のC文字列で, サイズがmaxlenバイトで, かつ読込と書込を行うという注釈である.
コンパイラやアナライザツールは, その通りになっていないと思われるとき警告を発することがある.
アノテーションの機能のないコンパイラでは何も行わない.