^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) #ifndef SMT_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #define SMT_H 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) int smt_on(void);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) #endif