PHP-1245: Split out profiling information operation into a C-function.
Merged pull request #785