getenv
getenv s
-- yields the value associated with the string s in the environment.
i1 : getenv "HOME"
o1 = /home/geometry/dan
o1 : String
