1--TEST--
2jmp into a finally block 03
3--FILE--
4<?php
5function foo() {
6    try {
7    } finally {
8    goto test;
9test:
10    }
11}
12echo "okey";
13?>
14--EXPECT--
15okey
16