using bool from stdbool.h for BinPoly