// no finally in PHP 5.4