@ramji: Is SMT have any