pub const DefaultType_NO_DEFAULT: DefaultType = 0;