#ifndef SMT_H
#define SMT_H 1

int smt_on(void);

#endif