verify
Functions
dir() -> term()
dir(Dir) -> term()