Create seal_bool.h