pub const KS_MPEG2Profile_High: KS_MPEG2Profile = 4i32;