{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"Progress"}]}
    Progress {
    /// This is supposed to be the number of loaded files.
        /// The total files to be loaded.