{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"//"}]}
        // last 8 bytes of the file.
        // Decode the *position* of the footer, which can be found in the
        let footer_pos = decoder