I hereby propose a change to memcpy to include a maxbytes parameter and an optional assert() if len exceeds it.

Might turn up a few interesting things.