Wouldn't this be better in xdebug_private.h perhaps?