arch:to-files() and arch:from-files()