php_session_destroy  238 ext/session/session.c 		php_session_destroy();
php_session_destroy 2335 ext/session/session.c 	RETURN_BOOL(php_session_destroy() == SUCCESS);