1 #ifndef SMT_H
2 #define SMT_H 1
3 
4 int smt_on(void);
5 
6 #endif
7