No matches were found for subject:"Avoiding programmer invariant violations \(was\: Re\: FreeBSD Kernel buffer overflow\)"