Constant DOUBLE_VEC4 

pub const DOUBLE_VEC4: u32 = 0x8FFE;