[PATCH] ctrl & exop for PHP 5.3