GeneratedFile speced