{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"interp_ok((size,"}]}
                interp_ok((size, align, (alloc_id, offset, prov)))
                    this.get_live_alloc_size_and_align(alloc_id, CheckInAllocMsg::MemoryAccess)?;
            },