smt_on
bool smton = smt_on();
return !smt_on();
if (!smt_on())
bool smt_on(void);
*result = smt_on() ? 1 : 0;