Smt2_(file_format) loading ...