avy"><b>PROPERTY</b></span> terminated: boolean <span style="color:navy"><b>READ</b></span> getterminated <span style="color:navy"><b>WRITE</b></span> setterminated;
        <span style="color:navy"><b>PROPERTY</b></span> mainth<span style="color:navy"><b>READ</b></span>: threadty read fthread;
        <span style="color:navy"><b>PROPERTY</b></span> lockth<span style="color:navy"><b>READ</b></span>: threadty read flockthread;
        <span style="color:navy"><b>PROPERTY</b></span> lockcount: integer <span s