Hi Dave,

I don't see a big value in this new addition, however, I also don't see any harm.

I added few minor comments about implementation at https://github.com/php/php-src/pull/2371

Please, review and update implementation accordingly.

Thanks. Dmitry.