(module STerm)