hi!
Please review:
https://code.illumos.org/c/illumos-gate/+/3813
It is actually not a but as such, but is still a bit confusing. And my smatch-fu is not as strong as to implement size related checks.
thanks,
toomas