Re: Static_object in fiasco kernel