Create ter_print_boxes.ml