xdebug_php3_deinit   26 xdebug_handler_php3.h int xdebug_php3_deinit(xdebug_con *context);
xdebug_php3_deinit   32 xdebug_handler_php3.h 	xdebug_php3_deinit,       \