** Renamed constants.ml to avoid clash with PS 6