Edit File: smt.h