On Tue, Mar 04, 2025 at 10:21:07AM +0100, Marco Elver wrote: > To avoid warnings in constructors, the initialization functions mark a > capability as acquired when initialized before guarded variables. Right, took me a bit, but OMG that's a horrific hack :-)