0 /* SMT Objects */