pub const ConstructType_DEFFACTS: ConstructType = 3;