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