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