Create ter_str.ml