Rename namespace to smt.