pub const NT_S390_VXRS_HIGH: u32 = 778;