marking code for SMT