Added the basic outline of the SMT interface.