--TEST--
jump 17: goto into try/catch with finally
--FILE--
<?php
goto b;
try {
    echo "1";
a:
    echo "2";
    throw new Exception();
} catch (Exception $e) {
    echo "3";
b:
    echo "4";
} finally {
    echo "5";
c:
    echo "6";
}
echo "7\n";
?>
--EXPECT--
4567