documented else / finally syntax for try / catch