Macro impl_cyclotomic_square 

macro_rules! impl_cyclotomic_square {
    (
        $tower2:ident,
        $tower12:ident
    ) => { ... };
}