Constant avx 

pub const avx: Symbol;