Spec for file access