808 	char *__counted_by(dstsz) dst,
809 	size_t dstsz,
816 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcpy()  argument
817 	size_t                  dstsz,  in strbufcpy()  argument
820 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcpy()
824 		char *__counted_by(dstsz) dst,  in strbufcpy()
825 		size_t dstsz,  in strbufcpy()
829 	__xnu_member_size_check(dst, dstsz, write);  in strbufcpy()
831 	return __xnu_strbufcpy(dst, dstsz, src, srcsz);  in strbufcpy()
873 	char *__counted_by(dstsz) dst,
874 	size_t dstsz,
881 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcat()  argument
882 	size_t                  dstsz,  in strbufcat()  argument
885 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcat()
889 		char *__counted_by(dstsz) dst,  in strbufcat()
890 		size_t dstsz,  in strbufcat()
894 	__xnu_member_size_check(dst, dstsz, write);  in strbufcat()
896 	return __xnu_strbufcat(dst, dstsz, src, srcsz);  in strbufcat()