-ppx safe path example