Create ter_use_box.ml