{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"file.write_all(&pos.to_le_bytes())?;"}]}
    file.write_all(&pos.to_le_bytes())?;
    file.seek(std::io::SeekFrom::Start(header as u64))?;