# GNU libstdc++v3 `sat_arith.h` ported to C