Constant MSRDC_DEFAULT_HORIZONSIZE_N

pub const MSRDC_DEFAULT_HORIZONSIZE_N: u32 = 128u32;