1--TEST--
2There must be a difference between label: try { ... } and try { label: ... }
3--FILE--
4<?php
5
6label: try {
7	goto label;
8} finally {
9	print "success";
10	return; // don't loop
11}
12
13?>
14--EXPECT--
15success
16