{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"alloc_size.bytes().saturating_sub(ptr_offset"}]}
                    alloc_size.bytes().saturating_sub(ptr_offset as u64),
                    "alloc_size_minus_ptr_offset",
                );