This commit adds the SIZE option to file(). It returns the file size of
the given path if it exists and produces an error if not.