Prefix macros with SMT_