{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // A return value of `WAIT_OBJECT_0` means we successfully acquired it.
    // A return value of `WAIT_ABANDONED` means that the previous holder of