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