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