Constant DOUBLE_VEC3 

pub const DOUBLE_VEC3: u32 = 0x8FFD;