I don't get the fuzz. This is like the 3rd or 4th submission about this function. And all it does is testing that
> ((SIZE_MAX / nmemb) >= size)
before doing the size_t multiplication. That's no rocket science. Anyone who's worried about his size_ts overflowing should be able to come up with this.