better (?) smt logging