add constant to print.ml