Re: [PATCH] ctrl & exop for PHP 5.3