Constant avx512f 

pub const avx512f: Symbol;