Better stay a bit defensive against how it gets called by the userland devs...