Constant KRAVATTE_FLAG_SHORT

pub const KRAVATTE_FLAG_SHORT: u32 = 4;