If this is PHP-572, it should be the filename of the bug, and mentioned in the --TEST-- section.