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