{-# LANGUAGE CPP #-}
#define BITVEC_THREADSAFE #include "Data/Bit/F2Poly.hs"