777 	char *__counted_by(dstsz) dst,
778 	size_t dstsz,
785 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcpy()  argument
786 	size_t                  dstsz,  in strbufcpy()  argument
789 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcpy()
793 		char *__counted_by(dstsz) dst,  in strbufcpy()
794 		size_t dstsz,  in strbufcpy()
798 	__xnu_member_size_check(dst, dstsz, write);  in strbufcpy()
800 	return __xnu_strbufcpy(dst, dstsz, src, srcsz);  in strbufcpy()
842 	char *__counted_by(dstsz) dst,
843 	size_t dstsz,
850 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcat()  argument
851 	size_t                  dstsz,  in strbufcat()  argument
854 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcat()
858 		char *__counted_by(dstsz) dst,  in strbufcat()
859 		size_t dstsz,  in strbufcat()
863 	__xnu_member_size_check(dst, dstsz, write);  in strbufcat()
865 	return __xnu_strbufcat(dst, dstsz, src, srcsz);  in strbufcat()