Why was this labeled PHP-735 if the filename is bug00535.phpt?