For example, I am writing an OS and manage the whole linear memory with this allocator.
However, this check is also useful to general usages.

Thanks. This is a pretty-good library.