pub const RASEO_PromoteAlternates: u32 = 32768u32;