pub const CORE_INTEGER_ATTRIBUTES: &'static [i32];