Constant KRAVATTE_FLAG_SHORT

Source
pub const KRAVATTE_FLAG_SHORT: u32 = 4;