more specific file declaration