Microsoft Windows驱动程序工具包纯C Try-Catch语法?

在 Windows Driver Kit (WDK) 有一些驱动程序代码示例是用纯C编写的,但还附带了一些try-catch finally构造。有人知道他们的语义吗?感谢微软为您提供了出色的工具和标准遵从性。

代码提取自 some_file.c :

try {
    ...
    if (!NT_SUCCESS( status )) {

       leave; // ???
    }
    ...
} finally {
    ...
}

try  {
    ...
} except( EXCEPTION_EXECUTE_HANDLER ) {
    ...
}