export interface File { file_id: number; filename: string; key_count: number; }