pub const NT_S390_HIGH_GPRS: u32 = 768;