let path = "/home/db/.opam/lama/share/Lama"