[][src]Constant CCODE::HIGH_LEVEL

pub const HIGH_LEVEL: u32 = 15;