{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"InvalidUninitBytes(info)"}]}
            InvalidUninitBytes(info) => InterpErrorKind::UndefinedBehavior(
            ),
                UndefinedBehaviorInfo::InvalidUninitBytes(info.map(|b| (alloc_id, b))),