{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"position.write_to_bytes(b)"}]}
                position.write_to_bytes(b)
                let position: u64 = position.try_into().unwrap();
            }