*.smt
*.log
