Compilation of try-finally