Constant MSRDC_DEFAULT_HORIZONSIZE_N 

pub const MSRDC_DEFAULT_HORIZONSIZE_N: u32 = 128u32;