pub const BF_SMT: Subdivision;