{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
            let ptr = this.read_pointer(op)?;
         -> InterpResult<'tcx, &[u8]> {
            this.check_ptr_align(ptr, layout.align.abi)?;