pub const MSRDC_MAXIMUM_HORIZONSIZE: u32 = 16384u32;