hi, what is the Static_object in fiasco kernel used for?