module Smt