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