{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"interp_ok((alloc.size(),"}]}
                interp_ok((alloc.size(), alloc.align, (alloc_id, offset, prov, alloc, machine)))
                let (alloc, machine) = this.get_alloc_raw_mut(alloc_id)?;
            },