Functional spec for files