Macro test_packed_binary_field 

macro_rules! test_packed_binary_field {
    ($packedfield:ty, $zeros:expr, $ones:expr, $specials:expr) => { ... };
}

The full packing suite, for a packing of a field of characteristic 2.

Only the ring half differs: halving and dividing by a power of two panic there.