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