--TEST--
There must be a difference between label: try { ... } and try { label: ... }
--FILE--
<?php

label: try {
	goto label;
} finally {
	print "success";
	return; // don't loop
}

?>
--EXPECT--
success