diskperf_false-unreach-call.i.cil.c_5.smt2 169 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
(set-info :smt-lib-version 2.6)
(set-logic QF_ALIA)
(set-info :source "|
Generated by the tool Ultimate Automizer [1,2] which implements
an automata theoretic approach [3] to software verification.

This SMT script belongs to a set of SMT scripts that was generated by
applying Ultimate Automizer to benchmarks [4] from the SV-COMP 2019 [5,6].
This script might _not_ contain all SMT commands that are used by
Ultimate Automizer. In order to satisfy the restrictions of
the SMT-COMP we have to drop e.g., the commands for getting
values (resp. models), unsatisfiable cores and interpolants.

2019-04-27, Matthias Heizmann (heizmann@informatik.uni-freiburg.de)

[1] https://ultimate.informatik.uni-freiburg.de/automizer/
[2] Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus,
     Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian
     Schilling, Tanja Schindler, Andreas Podelski: Ultimate Automizer
     and the Search for Perfect Interpolants - (Competition Contribution).
     TACAS (2) 2018: 447-451
[3] Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Software Model
     Checking for People Who Love Automata. CAV 2013:36-52
[4] https://github.com/sosy-lab/sv-benchmarks
[5] Dirk Beyer: Automatic Verification of C and Java Programs: SV-COMP 2019.
     TACAS (3) 2019: 133-155
[6] https://sv-comp.sosy-lab.org/2019/
|")
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(declare-fun |#funAddr~DiskPerfSendToNextDriver.base| () Int)
(declare-fun |#funAddr~DiskPerfSendToNextDriver.offset| () Int)
(declare-fun |#funAddr~DiskPerfCreate.base| () Int)
(declare-fun |#funAddr~DiskPerfCreate.offset| () Int)
(declare-fun |#funAddr~DiskPerfReadWrite.base| () Int)
(declare-fun |#funAddr~DiskPerfReadWrite.offset| () Int)
(declare-fun |#funAddr~DiskPerfDeviceControl.base| () Int)
(declare-fun |#funAddr~DiskPerfDeviceControl.offset| () Int)
(declare-fun |#funAddr~DiskPerfWmi.base| () Int)
(declare-fun |#funAddr~DiskPerfWmi.offset| () Int)
(declare-fun |#funAddr~DiskPerfShutdownFlush.base| () Int)
(declare-fun |#funAddr~DiskPerfShutdownFlush.offset| () Int)
(declare-fun |#funAddr~DiskPerfDispatchPnp.base| () Int)
(declare-fun |#funAddr~DiskPerfDispatchPnp.offset| () Int)
(declare-fun |#funAddr~DiskPerfDispatchPower.base| () Int)
(declare-fun |#funAddr~DiskPerfDispatchPower.offset| () Int)
(declare-fun |#funAddr~DiskPerfAddDevice.base| () Int)
(declare-fun |#funAddr~DiskPerfAddDevice.offset| () Int)
(declare-fun |#funAddr~DiskPerfUnload.base| () Int)
(declare-fun |#funAddr~DiskPerfUnload.offset| () Int)
(declare-fun |#funAddr~DiskperfQueryWmiRegInfo.base| () Int)
(declare-fun |#funAddr~DiskperfQueryWmiRegInfo.offset| () Int)
(declare-fun |#funAddr~DiskperfQueryWmiDataBlock.base| () Int)
(declare-fun |#funAddr~DiskperfQueryWmiDataBlock.offset| () Int)
(declare-fun |#funAddr~DiskperfWmiFunctionControl.base| () Int)
(declare-fun |#funAddr~DiskperfWmiFunctionControl.offset| () Int)
(declare-fun |#funAddr~DiskPerfIrpCompletion.base| () Int)
(declare-fun |#funAddr~DiskPerfIrpCompletion.offset| () Int)
(declare-fun |#funAddr~DiskPerfIoCompletion.base| () Int)
(declare-fun |#funAddr~DiskPerfIoCompletion.offset| () Int)
(declare-fun ~_EVENT_TYPE~0~NotificationEvent () Int)
(declare-fun ~_EVENT_TYPE~0~SynchronizationEvent () Int)
(declare-fun ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityAnonymous () Int)
(declare-fun ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityIdentification () Int)
(declare-fun ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityImpersonation () Int)
(declare-fun ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityDelegation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileDirectoryInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileFullDirectoryInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileBothDirectoryInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileBasicInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileStandardInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileInternalInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileEaInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAccessInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileNameInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileRenameInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileLinkInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileNamesInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileDispositionInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FilePositionInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileFullEaInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileModeInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAlignmentInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAllInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAllocationInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileEndOfFileInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAlternateNameInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileStreamInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FilePipeInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FilePipeLocalInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FilePipeRemoteInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileMailslotQueryInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileMailslotSetInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileCompressionInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileObjectIdInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileCompletionInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileMoveClusterInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileQuotaInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileReparsePointInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileNetworkOpenInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileAttributeTagInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileTrackingInformation () Int)
(declare-fun ~_FILE_INFORMATION_CLASS~0~FileMaximumInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsVolumeInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsLabelInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsSizeInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsDeviceInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsAttributeInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsControlInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsFullSizeInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsObjectIdInformation () Int)
(declare-fun ~_FSINFOCLASS~0~FileFsMaximumInformation () Int)
(declare-fun ~_INTERFACE_TYPE~0~InterfaceTypeUndefined () Int)
(declare-fun ~_INTERFACE_TYPE~0~Internal () Int)
(declare-fun ~_INTERFACE_TYPE~0~Isa () Int)
(declare-fun ~_INTERFACE_TYPE~0~Eisa () Int)
(declare-fun ~_INTERFACE_TYPE~0~MicroChannel () Int)
(declare-fun ~_INTERFACE_TYPE~0~TurboChannel () Int)
(declare-fun ~_INTERFACE_TYPE~0~PCIBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~VMEBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~NuBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~PCMCIABus () Int)
(declare-fun ~_INTERFACE_TYPE~0~CBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~MPIBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~MPSABus () Int)
(declare-fun ~_INTERFACE_TYPE~0~ProcessorInternal () Int)
(declare-fun ~_INTERFACE_TYPE~0~InternalPowerBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~PNPISABus () Int)
(declare-fun ~_INTERFACE_TYPE~0~PNPBus () Int)
(declare-fun ~_INTERFACE_TYPE~0~MaximumInterfaceType () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemUnspecified () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemWorking () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping1 () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping2 () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping3 () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemHibernate () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemShutdown () Int)
(declare-fun ~_SYSTEM_POWER_STATE~0~PowerSystemMaximum () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionNone () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionReserved () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionSleep () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionHibernate () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionShutdown () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionShutdownReset () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionShutdownOff () Int)
(declare-fun ~__anonenum_POWER_ACTION_11~0~PowerActionWarmEject () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceUnspecified () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceD0 () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceD1 () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceD2 () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceD3 () Int)
(declare-fun ~_DEVICE_POWER_STATE~0~PowerDeviceMaximum () Int)
(declare-fun ~_POWER_STATE_TYPE~0~SystemPowerState () Int)
(declare-fun ~_POWER_STATE_TYPE~0~DevicePowerState () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~ArcSystem () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~CentralProcessor () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~FloatingPointProcessor () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~PrimaryIcache () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~PrimaryDcache () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~SecondaryIcache () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~SecondaryDcache () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~SecondaryCache () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~EisaAdapter () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~TcAdapter () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~ScsiAdapter () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~DtiAdapter () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~MultiFunctionAdapter () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~DiskController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~TapeController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~CdromController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~WormController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~SerialController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~NetworkController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~DisplayController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~ParallelController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~PointerController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~KeyboardController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~AudioController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~OtherController () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~DiskPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~FloppyDiskPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~TapePeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~ModemPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~MonitorPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~PrinterPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~PointerPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~KeyboardPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~TerminalPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~OtherPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~LinePeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~NetworkPeripheral () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~SystemMemory () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~DockingInformation () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~RealModeIrqRoutingTable () Int)
(declare-fun ~_CONFIGURATION_TYPE~0~MaximumType () Int)
(declare-fun ~_KWAIT_REASON~0~Executive () Int)
(declare-fun ~_KWAIT_REASON~0~FreePage () Int)
(declare-fun ~_KWAIT_REASON~0~PageIn () Int)
(declare-fun ~_KWAIT_REASON~0~PoolAllocation () Int)
(declare-fun ~_KWAIT_REASON~0~DelayExecution () Int)
(declare-fun ~_KWAIT_REASON~0~Suspended () Int)
(declare-fun ~_KWAIT_REASON~0~UserRequest () Int)
(declare-fun ~_KWAIT_REASON~0~WrExecutive () Int)
(declare-fun ~_KWAIT_REASON~0~WrFreePage () Int)
(declare-fun ~_KWAIT_REASON~0~WrPageIn () Int)
(declare-fun ~_KWAIT_REASON~0~WrPoolAllocation () Int)
(declare-fun ~_KWAIT_REASON~0~WrDelayExecution () Int)
(declare-fun ~_KWAIT_REASON~0~WrSuspended () Int)
(declare-fun ~_KWAIT_REASON~0~WrUserRequest () Int)
(declare-fun ~_KWAIT_REASON~0~WrEventPair () Int)
(declare-fun ~_KWAIT_REASON~0~WrQueue () Int)
(declare-fun ~_KWAIT_REASON~0~WrLpcReceive () Int)
(declare-fun ~_KWAIT_REASON~0~WrLpcReply () Int)
(declare-fun ~_KWAIT_REASON~0~WrVirtualMemory () Int)
(declare-fun ~_KWAIT_REASON~0~WrPageOut () Int)
(declare-fun ~_KWAIT_REASON~0~WrRendezvous () Int)
(declare-fun ~_KWAIT_REASON~0~Spare2 () Int)
(declare-fun ~_KWAIT_REASON~0~Spare3 () Int)
(declare-fun ~_KWAIT_REASON~0~Spare4 () Int)
(declare-fun ~_KWAIT_REASON~0~Spare5 () Int)
(declare-fun ~_KWAIT_REASON~0~Spare6 () Int)
(declare-fun ~_KWAIT_REASON~0~WrKernel () Int)
(declare-fun ~_KWAIT_REASON~0~MaximumWaitReason () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmNonCached () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmCached () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmWriteCombined () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmHardwareCoherentCached () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmNonCachedUnordered () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmUSWCCached () Int)
(declare-fun ~_MEMORY_CACHING_TYPE~0~MmMaximumCacheType () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPool () Int)
(declare-fun ~_POOL_TYPE~0~PagedPool () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolMustSucceed () Int)
(declare-fun ~_POOL_TYPE~0~DontUseThisType () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolCacheAligned () Int)
(declare-fun ~_POOL_TYPE~0~PagedPoolCacheAligned () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolCacheAlignedMustS () Int)
(declare-fun ~_POOL_TYPE~0~MaxPoolType () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolSession () Int)
(declare-fun ~_POOL_TYPE~0~PagedPoolSession () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolMustSucceedSession () Int)
(declare-fun ~_POOL_TYPE~0~DontUseThisTypeSession () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolCacheAlignedSession () Int)
(declare-fun ~_POOL_TYPE~0~PagedPoolCacheAlignedSession () Int)
(declare-fun ~_POOL_TYPE~0~NonPagedPoolCacheAlignedMustSSession () Int)
(declare-fun ~_MM_PAGE_PRIORITY~0~LowPagePriority () Int)
(declare-fun ~_MM_PAGE_PRIORITY~0~NormalPagePriority () Int)
(declare-fun ~_MM_PAGE_PRIORITY~0~HighPagePriority () Int)
(declare-fun ~_IO_ALLOCATION_ACTION~0~KeepObject () Int)
(declare-fun ~_IO_ALLOCATION_ACTION~0~DeallocateObject () Int)
(declare-fun ~_IO_ALLOCATION_ACTION~0~DeallocateObjectKeepRegisters () Int)
(declare-fun ~_DEVICE_RELATION_TYPE~0~BusRelations () Int)
(declare-fun ~_DEVICE_RELATION_TYPE~0~EjectionRelations () Int)
(declare-fun ~_DEVICE_RELATION_TYPE~0~PowerRelations () Int)
(declare-fun ~_DEVICE_RELATION_TYPE~0~RemovalRelations () Int)
(declare-fun ~_DEVICE_RELATION_TYPE~0~TargetDeviceRelation () Int)
(declare-fun ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeUndefined () Int)
(declare-fun ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypePaging () Int)
(declare-fun ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeHibernation () Int)
(declare-fun ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeDumpFile () Int)
(declare-fun ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryDeviceID () Int)
(declare-fun ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryHardwareIDs () Int)
(declare-fun ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryCompatibleIDs () Int)
(declare-fun ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryInstanceID () Int)
(declare-fun ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryDeviceSerialNumber () Int)
(declare-fun ~__anonenum_DEVICE_TEXT_TYPE_54~0~DeviceTextDescription () Int)
(declare-fun ~__anonenum_DEVICE_TEXT_TYPE_54~0~DeviceTextLocationInformation () Int)
(declare-fun ~__anonenum_WMIENABLEDISABLECONTROL_131~0~WmiEventControl () Int)
(declare-fun ~__anonenum_WMIENABLEDISABLECONTROL_131~0~WmiDataBlockControl () Int)
(declare-fun ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpProcessed () Int)
(declare-fun ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpNotCompleted () Int)
(declare-fun ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpNotWmi () Int)
(declare-fun ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpForward () Int)
(assert (and (= |#funAddr~DiskPerfSendToNextDriver.base| (- 1)) (= |#funAddr~DiskPerfSendToNextDriver.offset| 0)))
(assert (and (= (- 1) |#funAddr~DiskPerfCreate.base|) (= |#funAddr~DiskPerfCreate.offset| 1)))
(assert (and (= 2 |#funAddr~DiskPerfReadWrite.offset|) (= (- 1) |#funAddr~DiskPerfReadWrite.base|)))
(assert (and (= 3 |#funAddr~DiskPerfDeviceControl.offset|) (= |#funAddr~DiskPerfDeviceControl.base| (- 1))))
(assert (and (= |#funAddr~DiskPerfWmi.offset| 4) (= |#funAddr~DiskPerfWmi.base| (- 1))))
(assert (and (= |#funAddr~DiskPerfShutdownFlush.offset| 5) (= (- 1) |#funAddr~DiskPerfShutdownFlush.base|)))
(assert (and (= (- 1) |#funAddr~DiskPerfDispatchPnp.base|) (= 6 |#funAddr~DiskPerfDispatchPnp.offset|)))
(assert (and (= 7 |#funAddr~DiskPerfDispatchPower.offset|) (= (- 1) |#funAddr~DiskPerfDispatchPower.base|)))
(assert (and (= |#funAddr~DiskPerfAddDevice.offset| 8) (= (- 1) |#funAddr~DiskPerfAddDevice.base|)))
(assert (and (= (- 1) |#funAddr~DiskPerfUnload.base|) (= 9 |#funAddr~DiskPerfUnload.offset|)))
(assert (and (= 10 |#funAddr~DiskperfQueryWmiRegInfo.offset|) (= (- 1) |#funAddr~DiskperfQueryWmiRegInfo.base|)))
(assert (and (= 11 |#funAddr~DiskperfQueryWmiDataBlock.offset|) (= |#funAddr~DiskperfQueryWmiDataBlock.base| (- 1))))
(assert (and (= (- 1) |#funAddr~DiskperfWmiFunctionControl.base|) (= |#funAddr~DiskperfWmiFunctionControl.offset| 12)))
(assert (and (= (- 1) |#funAddr~DiskPerfIrpCompletion.base|) (= |#funAddr~DiskPerfIrpCompletion.offset| 13)))
(assert (and (= 14 |#funAddr~DiskPerfIoCompletion.offset|) (= |#funAddr~DiskPerfIoCompletion.base| (- 1))))
(assert (= ~_EVENT_TYPE~0~NotificationEvent 0))
(assert (= ~_EVENT_TYPE~0~SynchronizationEvent 1))
(assert (= 0 ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityAnonymous))
(assert (= ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityIdentification 1))
(assert (= ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityImpersonation 2))
(assert (= 3 ~_SECURITY_IMPERSONATION_LEVEL~0~SecurityDelegation))
(assert (= 1 ~_FILE_INFORMATION_CLASS~0~FileDirectoryInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileFullDirectoryInformation 2))
(assert (= 3 ~_FILE_INFORMATION_CLASS~0~FileBothDirectoryInformation))
(assert (= 4 ~_FILE_INFORMATION_CLASS~0~FileBasicInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileStandardInformation 5))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileInternalInformation 6))
(assert (= 7 ~_FILE_INFORMATION_CLASS~0~FileEaInformation))
(assert (= 8 ~_FILE_INFORMATION_CLASS~0~FileAccessInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileNameInformation 9))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileRenameInformation 10))
(assert (= 11 ~_FILE_INFORMATION_CLASS~0~FileLinkInformation))
(assert (= 12 ~_FILE_INFORMATION_CLASS~0~FileNamesInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileDispositionInformation 13))
(assert (= ~_FILE_INFORMATION_CLASS~0~FilePositionInformation 14))
(assert (= 15 ~_FILE_INFORMATION_CLASS~0~FileFullEaInformation))
(assert (= 16 ~_FILE_INFORMATION_CLASS~0~FileModeInformation))
(assert (= 17 ~_FILE_INFORMATION_CLASS~0~FileAlignmentInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileAllInformation 18))
(assert (= 19 ~_FILE_INFORMATION_CLASS~0~FileAllocationInformation))
(assert (= 20 ~_FILE_INFORMATION_CLASS~0~FileEndOfFileInformation))
(assert (= 21 ~_FILE_INFORMATION_CLASS~0~FileAlternateNameInformation))
(assert (= 22 ~_FILE_INFORMATION_CLASS~0~FileStreamInformation))
(assert (= 23 ~_FILE_INFORMATION_CLASS~0~FilePipeInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FilePipeLocalInformation 24))
(assert (= 25 ~_FILE_INFORMATION_CLASS~0~FilePipeRemoteInformation))
(assert (= 26 ~_FILE_INFORMATION_CLASS~0~FileMailslotQueryInformation))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileMailslotSetInformation 27))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileCompressionInformation 28))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileObjectIdInformation 29))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileCompletionInformation 30))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileMoveClusterInformation 31))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileQuotaInformation 32))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileReparsePointInformation 33))
(assert (= ~_FILE_INFORMATION_CLASS~0~FileNetworkOpenInformation 34))
(assert (= 35 ~_FILE_INFORMATION_CLASS~0~FileAttributeTagInformation))
(assert (= 36 ~_FILE_INFORMATION_CLASS~0~FileTrackingInformation))
(assert (= 37 ~_FILE_INFORMATION_CLASS~0~FileMaximumInformation))
(assert (= 1 ~_FSINFOCLASS~0~FileFsVolumeInformation))
(assert (= ~_FSINFOCLASS~0~FileFsLabelInformation 2))
(assert (= 3 ~_FSINFOCLASS~0~FileFsSizeInformation))
(assert (= 4 ~_FSINFOCLASS~0~FileFsDeviceInformation))
(assert (= ~_FSINFOCLASS~0~FileFsAttributeInformation 5))
(assert (= ~_FSINFOCLASS~0~FileFsControlInformation 6))
(assert (= ~_FSINFOCLASS~0~FileFsFullSizeInformation 7))
(assert (= ~_FSINFOCLASS~0~FileFsObjectIdInformation 8))
(assert (= ~_FSINFOCLASS~0~FileFsMaximumInformation 9))
(assert (= (- 1) ~_INTERFACE_TYPE~0~InterfaceTypeUndefined))
(assert (= 0 ~_INTERFACE_TYPE~0~Internal))
(assert (= 1 ~_INTERFACE_TYPE~0~Isa))
(assert (= 2 ~_INTERFACE_TYPE~0~Eisa))
(assert (= ~_INTERFACE_TYPE~0~MicroChannel 3))
(assert (= 4 ~_INTERFACE_TYPE~0~TurboChannel))
(assert (= ~_INTERFACE_TYPE~0~PCIBus 5))
(assert (= ~_INTERFACE_TYPE~0~VMEBus 6))
(assert (= ~_INTERFACE_TYPE~0~NuBus 7))
(assert (= 8 ~_INTERFACE_TYPE~0~PCMCIABus))
(assert (= 9 ~_INTERFACE_TYPE~0~CBus))
(assert (= ~_INTERFACE_TYPE~0~MPIBus 10))
(assert (= ~_INTERFACE_TYPE~0~MPSABus 11))
(assert (= 12 ~_INTERFACE_TYPE~0~ProcessorInternal))
(assert (= 13 ~_INTERFACE_TYPE~0~InternalPowerBus))
(assert (= 14 ~_INTERFACE_TYPE~0~PNPISABus))
(assert (= ~_INTERFACE_TYPE~0~PNPBus 15))
(assert (= ~_INTERFACE_TYPE~0~MaximumInterfaceType 16))
(assert (= 0 ~_SYSTEM_POWER_STATE~0~PowerSystemUnspecified))
(assert (= 1 ~_SYSTEM_POWER_STATE~0~PowerSystemWorking))
(assert (= ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping1 2))
(assert (= ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping2 3))
(assert (= ~_SYSTEM_POWER_STATE~0~PowerSystemSleeping3 4))
(assert (= ~_SYSTEM_POWER_STATE~0~PowerSystemHibernate 5))
(assert (= ~_SYSTEM_POWER_STATE~0~PowerSystemShutdown 6))
(assert (= 7 ~_SYSTEM_POWER_STATE~0~PowerSystemMaximum))
(assert (= 0 ~__anonenum_POWER_ACTION_11~0~PowerActionNone))
(assert (= 1 ~__anonenum_POWER_ACTION_11~0~PowerActionReserved))
(assert (= ~__anonenum_POWER_ACTION_11~0~PowerActionSleep 2))
(assert (= 3 ~__anonenum_POWER_ACTION_11~0~PowerActionHibernate))
(assert (= 4 ~__anonenum_POWER_ACTION_11~0~PowerActionShutdown))
(assert (= 5 ~__anonenum_POWER_ACTION_11~0~PowerActionShutdownReset))
(assert (= 6 ~__anonenum_POWER_ACTION_11~0~PowerActionShutdownOff))
(assert (= ~__anonenum_POWER_ACTION_11~0~PowerActionWarmEject 7))
(assert (= 0 ~_DEVICE_POWER_STATE~0~PowerDeviceUnspecified))
(assert (= 1 ~_DEVICE_POWER_STATE~0~PowerDeviceD0))
(assert (= 2 ~_DEVICE_POWER_STATE~0~PowerDeviceD1))
(assert (= 3 ~_DEVICE_POWER_STATE~0~PowerDeviceD2))
(assert (= 4 ~_DEVICE_POWER_STATE~0~PowerDeviceD3))
(assert (= ~_DEVICE_POWER_STATE~0~PowerDeviceMaximum 5))
(assert (= 0 ~_POWER_STATE_TYPE~0~SystemPowerState))
(assert (= ~_POWER_STATE_TYPE~0~DevicePowerState 1))
(assert (= 0 ~_CONFIGURATION_TYPE~0~ArcSystem))
(assert (= 1 ~_CONFIGURATION_TYPE~0~CentralProcessor))
(assert (= 2 ~_CONFIGURATION_TYPE~0~FloatingPointProcessor))
(assert (= 3 ~_CONFIGURATION_TYPE~0~PrimaryIcache))
(assert (= 4 ~_CONFIGURATION_TYPE~0~PrimaryDcache))
(assert (= 5 ~_CONFIGURATION_TYPE~0~SecondaryIcache))
(assert (= 6 ~_CONFIGURATION_TYPE~0~SecondaryDcache))
(assert (= ~_CONFIGURATION_TYPE~0~SecondaryCache 7))
(assert (= ~_CONFIGURATION_TYPE~0~EisaAdapter 8))
(assert (= 9 ~_CONFIGURATION_TYPE~0~TcAdapter))
(assert (= 10 ~_CONFIGURATION_TYPE~0~ScsiAdapter))
(assert (= 11 ~_CONFIGURATION_TYPE~0~DtiAdapter))
(assert (= ~_CONFIGURATION_TYPE~0~MultiFunctionAdapter 12))
(assert (= ~_CONFIGURATION_TYPE~0~DiskController 13))
(assert (= ~_CONFIGURATION_TYPE~0~TapeController 14))
(assert (= ~_CONFIGURATION_TYPE~0~CdromController 15))
(assert (= 16 ~_CONFIGURATION_TYPE~0~WormController))
(assert (= ~_CONFIGURATION_TYPE~0~SerialController 17))
(assert (= ~_CONFIGURATION_TYPE~0~NetworkController 18))
(assert (= 19 ~_CONFIGURATION_TYPE~0~DisplayController))
(assert (= ~_CONFIGURATION_TYPE~0~ParallelController 20))
(assert (= ~_CONFIGURATION_TYPE~0~PointerController 21))
(assert (= ~_CONFIGURATION_TYPE~0~KeyboardController 22))
(assert (= ~_CONFIGURATION_TYPE~0~AudioController 23))
(assert (= 24 ~_CONFIGURATION_TYPE~0~OtherController))
(assert (= ~_CONFIGURATION_TYPE~0~DiskPeripheral 25))
(assert (= ~_CONFIGURATION_TYPE~0~FloppyDiskPeripheral 26))
(assert (= ~_CONFIGURATION_TYPE~0~TapePeripheral 27))
(assert (= 28 ~_CONFIGURATION_TYPE~0~ModemPeripheral))
(assert (= 29 ~_CONFIGURATION_TYPE~0~MonitorPeripheral))
(assert (= 30 ~_CONFIGURATION_TYPE~0~PrinterPeripheral))
(assert (= ~_CONFIGURATION_TYPE~0~PointerPeripheral 31))
(assert (= ~_CONFIGURATION_TYPE~0~KeyboardPeripheral 32))
(assert (= 33 ~_CONFIGURATION_TYPE~0~TerminalPeripheral))
(assert (= 34 ~_CONFIGURATION_TYPE~0~OtherPeripheral))
(assert (= ~_CONFIGURATION_TYPE~0~LinePeripheral 35))
(assert (= ~_CONFIGURATION_TYPE~0~NetworkPeripheral 36))
(assert (= 37 ~_CONFIGURATION_TYPE~0~SystemMemory))
(assert (= ~_CONFIGURATION_TYPE~0~DockingInformation 38))
(assert (= 39 ~_CONFIGURATION_TYPE~0~RealModeIrqRoutingTable))
(assert (= 40 ~_CONFIGURATION_TYPE~0~MaximumType))
(assert (= ~_KWAIT_REASON~0~Executive 0))
(assert (= 1 ~_KWAIT_REASON~0~FreePage))
(assert (= 2 ~_KWAIT_REASON~0~PageIn))
(assert (= ~_KWAIT_REASON~0~PoolAllocation 3))
(assert (= ~_KWAIT_REASON~0~DelayExecution 4))
(assert (= ~_KWAIT_REASON~0~Suspended 5))
(assert (= 6 ~_KWAIT_REASON~0~UserRequest))
(assert (= 7 ~_KWAIT_REASON~0~WrExecutive))
(assert (= 8 ~_KWAIT_REASON~0~WrFreePage))
(assert (= ~_KWAIT_REASON~0~WrPageIn 9))
(assert (= 10 ~_KWAIT_REASON~0~WrPoolAllocation))
(assert (= ~_KWAIT_REASON~0~WrDelayExecution 11))
(assert (= 12 ~_KWAIT_REASON~0~WrSuspended))
(assert (= 13 ~_KWAIT_REASON~0~WrUserRequest))
(assert (= 14 ~_KWAIT_REASON~0~WrEventPair))
(assert (= ~_KWAIT_REASON~0~WrQueue 15))
(assert (= ~_KWAIT_REASON~0~WrLpcReceive 16))
(assert (= 17 ~_KWAIT_REASON~0~WrLpcReply))
(assert (= ~_KWAIT_REASON~0~WrVirtualMemory 18))
(assert (= 19 ~_KWAIT_REASON~0~WrPageOut))
(assert (= 20 ~_KWAIT_REASON~0~WrRendezvous))
(assert (= 21 ~_KWAIT_REASON~0~Spare2))
(assert (= 22 ~_KWAIT_REASON~0~Spare3))
(assert (= 23 ~_KWAIT_REASON~0~Spare4))
(assert (= 24 ~_KWAIT_REASON~0~Spare5))
(assert (= 25 ~_KWAIT_REASON~0~Spare6))
(assert (= ~_KWAIT_REASON~0~WrKernel 26))
(assert (= 27 ~_KWAIT_REASON~0~MaximumWaitReason))
(assert (= 0 ~_MEMORY_CACHING_TYPE~0~MmNonCached))
(assert (= ~_MEMORY_CACHING_TYPE~0~MmCached 1))
(assert (= ~_MEMORY_CACHING_TYPE~0~MmWriteCombined 2))
(assert (= ~_MEMORY_CACHING_TYPE~0~MmHardwareCoherentCached 3))
(assert (= 4 ~_MEMORY_CACHING_TYPE~0~MmNonCachedUnordered))
(assert (= ~_MEMORY_CACHING_TYPE~0~MmUSWCCached 5))
(assert (= 6 ~_MEMORY_CACHING_TYPE~0~MmMaximumCacheType))
(assert (= 0 ~_POOL_TYPE~0~NonPagedPool))
(assert (= 1 ~_POOL_TYPE~0~PagedPool))
(assert (= 2 ~_POOL_TYPE~0~NonPagedPoolMustSucceed))
(assert (= 3 ~_POOL_TYPE~0~DontUseThisType))
(assert (= 4 ~_POOL_TYPE~0~NonPagedPoolCacheAligned))
(assert (= ~_POOL_TYPE~0~PagedPoolCacheAligned 5))
(assert (= ~_POOL_TYPE~0~NonPagedPoolCacheAlignedMustS 6))
(assert (= 7 ~_POOL_TYPE~0~MaxPoolType))
(assert (= 32 ~_POOL_TYPE~0~NonPagedPoolSession))
(assert (= 33 ~_POOL_TYPE~0~PagedPoolSession))
(assert (= 34 ~_POOL_TYPE~0~NonPagedPoolMustSucceedSession))
(assert (= 35 ~_POOL_TYPE~0~DontUseThisTypeSession))
(assert (= ~_POOL_TYPE~0~NonPagedPoolCacheAlignedSession 36))
(assert (= 37 ~_POOL_TYPE~0~PagedPoolCacheAlignedSession))
(assert (= ~_POOL_TYPE~0~NonPagedPoolCacheAlignedMustSSession 38))
(assert (= 0 ~_MM_PAGE_PRIORITY~0~LowPagePriority))
(assert (= 16 ~_MM_PAGE_PRIORITY~0~NormalPagePriority))
(assert (= 32 ~_MM_PAGE_PRIORITY~0~HighPagePriority))
(assert (= ~_IO_ALLOCATION_ACTION~0~KeepObject 1))
(assert (= ~_IO_ALLOCATION_ACTION~0~DeallocateObject 2))
(assert (= 3 ~_IO_ALLOCATION_ACTION~0~DeallocateObjectKeepRegisters))
(assert (= ~_DEVICE_RELATION_TYPE~0~BusRelations 0))
(assert (= ~_DEVICE_RELATION_TYPE~0~EjectionRelations 1))
(assert (= ~_DEVICE_RELATION_TYPE~0~PowerRelations 2))
(assert (= ~_DEVICE_RELATION_TYPE~0~RemovalRelations 3))
(assert (= 4 ~_DEVICE_RELATION_TYPE~0~TargetDeviceRelation))
(assert (= 0 ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeUndefined))
(assert (= ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypePaging 1))
(assert (= 2 ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeHibernation))
(assert (= ~_DEVICE_USAGE_NOTIFICATION_TYPE~0~DeviceUsageTypeDumpFile 3))
(assert (= ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryDeviceID 0))
(assert (= ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryHardwareIDs 1))
(assert (= 2 ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryCompatibleIDs))
(assert (= ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryInstanceID 3))
(assert (= 4 ~__anonenum_BUS_QUERY_ID_TYPE_53~0~BusQueryDeviceSerialNumber))
(assert (= 0 ~__anonenum_DEVICE_TEXT_TYPE_54~0~DeviceTextDescription))
(assert (= 1 ~__anonenum_DEVICE_TEXT_TYPE_54~0~DeviceTextLocationInformation))
(assert (= 0 ~__anonenum_WMIENABLEDISABLECONTROL_131~0~WmiEventControl))
(assert (= 1 ~__anonenum_WMIENABLEDISABLECONTROL_131~0~WmiDataBlockControl))
(assert (= 0 ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpProcessed))
(assert (= ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpNotCompleted 1))
(assert (= 2 ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpNotWmi))
(assert (= 3 ~__anonenum_SYSCTL_IRP_DISPOSITION_132~0~IrpForward))
(declare-fun |v_#memory_int_653_const_-328416731| () (Array Int (Array Int Int)))
(declare-fun v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 () Int)
(declare-fun v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union236.Options_2_const_1174282590| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union236.FileAttributes_2_const_1895303401| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union236.ShareAccess_2_const_1417168665| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union236.EaLength_2_const_774490586| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.Length_2_const_1718312375| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.Key_2_const_1455200924| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.ByteOffset.__annonCompField1.LowPart_2_const_1557124369| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.ByteOffset.__annonCompField1.HighPart_2_const_1272673259| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.ByteOffset.u.LowPart_2_const_-886067806| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.ByteOffset.u.HighPart_2_const_-1451857478| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union237.ByteOffset.QuadPart_2_const_604566414| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union238.Length_2_const_1521658968| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union238.FileInformationClass_2_const_-558462154| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union239.Length_2_const_1325153145| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union239.FileInformationClass_2_const_-625460201| () Int)
(declare-fun |v_#memory_int_637_const_-328416669| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union239.__annonCompField19.__annonCompField18.ReplaceIfExists_2_const_1888816077| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union239.__annonCompField19.__annonCompField18.AdvanceOnly_2_const_-999142740| () Int)
(declare-fun |v_#memory_int_633_const_-328416665| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_586_const_-1833314517| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_587_const_-1833314518| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_723_const_-344031372| () (Array Int (Array Int Int)))
(declare-fun v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 () Int)
(declare-fun v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 () Int)
(declare-fun |v_#memory_$Pointer$.base_724_const_-344031369| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_621_const_-344038613| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_622_const_-344038614| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_743_const_-328409529| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_705_const_-328409395| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_701_const_-328409407| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_588_const_-344038357| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_589_const_-344038358| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_621_const_-328416700| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_622_const_-328416697| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_699_const_-328416345| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_700_const_-328409402| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_568_const_-344038283| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.Buffer.base_2_const_-857367482| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument1.base_2_const_-1319942007| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument2.base_2_const_422747114| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument3.base_2_const_-2129285429| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument4.base_2_const_-386612692| () Int)
(declare-fun |v_#memory_$Pointer$.base_563_const_-344038290| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_710_const_-344031414| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_711_const_-344031403| () (Array Int (Array Int Int)))
(declare-fun v_DiskPerfReadWrite_~timeStamp~0.offset_2_const_-175020982 () Int)
(declare-fun |v_#memory_$Pointer$.base_629_const_-344038605| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_630_const_-344039223| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_581_const_-344038366| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_582_const_-344038355| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_664_const_-1833315414| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_665_const_-1833315403| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_685_const_-1833315477| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_686_const_-1833315478| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_623_const_-344038603| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_608_const_-344038542| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_609_const_-344038531| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_573_const_-1833314551| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_574_const_-1833314552| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_712_const_-344031404| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_665_const_-344039253| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_666_const_-344039254| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_726_const_-1833308557| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_699_const_-1833315564| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_697_const_-1833315574| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_575_const_-1833314549| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_584_const_-344038353| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_585_const_-344038354| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_717_const_-1833308579| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_718_const_-1833308580| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_618_const_-1833315811| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_619_const_-1833315812| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_719_const_-1833308577| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_722_const_-1833308553| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_720_const_-1833308555| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_633_const_-344039222| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_634_const_-344039211| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_623_const_-328416698| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_707_const_-1833308484| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_708_const_-1833308481| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_692_const_-1833315569| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_693_const_-1833315570| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_686_const_-344039320| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_687_const_-344039317| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_715_const_-328409374| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_711_const_-328409370| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_618_const_-344038637| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_619_const_-344038638| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_635_const_-344039212| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_652_const_-1833315445| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_653_const_-1833315446| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_666_const_-328416313| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_667_const_-328416314| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_588_const_-328415420| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.ProviderId_2_const_-1058769113| () Int)
(declare-fun |v_#memory_int_586_const_-328415302| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_703_const_-1833308496| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_704_const_-1833308493| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_700_const_-1833308489| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_629_const_-1833315779| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_630_const_-1833315381| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_696_const_-328416358| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_697_const_-328416347| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_612_const_-344038635| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_613_const_-344038636| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_724_const_-1833308559| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_725_const_-1833308560| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_726_const_-344031375| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_670_const_-344039347| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_668_const_-344039244| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_660_const_-344039252| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_661_const_-344039249| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_612_const_-328416602| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_613_const_-328416607| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_648_const_-344039178| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_646_const_-344039180| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_664_const_-328416315| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_662_const_-328416709| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_719_const_-344031395| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_720_const_-344031381| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_588_const_-1833314507| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_589_const_-1833314508| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_678_const_-1833315497| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_676_const_-1833315499| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_689_const_-344039307| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_664_const_-344039256| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_659_const_-344039274| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_577_const_-344038389| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_579_const_-344038379| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_702_const_-1833308495| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_690_const_-328416356| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_691_const_-328416353| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_691_const_-1833315572| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_696_const_-1833315573| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_627_const_-1833315789| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_628_const_-1833315790| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_711_const_-1833308585| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_712_const_-1833308586| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_701_const_-1833308490| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_695_const_-1833315576| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_715_const_-344031407| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_716_const_-344031408| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_675_const_-344039352| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_632_const_-1833315371| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_633_const_-1833315372| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_723_const_-1833308554| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_722_const_-344031371| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_580_const_-344038365| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_695_const_-344039410| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_696_const_-344039415| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_675_const_-1833315510| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_617_const_-1833315822| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_725_const_-344031370| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_667_const_-1833315401| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_668_const_-1833315402| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_634_const_-1833315369| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_635_const_-1833315370| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_666_const_-1833315404| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_657_const_-344039276| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_658_const_-344039273| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_654_const_-344039285| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_655_const_-344039286| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_576_const_-344038392| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_667_const_-344039243| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_611_const_-1833315820| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union241.Type3InputBuffer.offset_2_const_-1508144462| () Int)
(declare-fun |v_#memory_$Pointer$.offset_609_const_-1833315713| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_597_const_-1833315125| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_598_const_-1833315126| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_705_const_-344031312| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_706_const_-344031309| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_708_const_-344031299| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_709_const_-344031300| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_580_const_-328415300| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_581_const_-328415297| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_717_const_-344031405| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_738_const_-328409427| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_657_const_-1833315434| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_658_const_-1833315439| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_617_const_-344038640| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_718_const_-344031406| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_592_const_-344037950| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union251.Buffer.base_2_const_1160712228| () Int)
(declare-fun |v_#memory_$Pointer$.base_590_const_-344037952| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_631_const_-344039224| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_632_const_-344039221| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_610_const_-328416604| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union251.WhichSpace_2_const_431814860| () Int)
(declare-fun |v_#memory_int_608_const_-328416625| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_574_const_-344038386| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_575_const_-344038391| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_686_const_-328416379| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~arrayCopy210_5_const_1982653782| () (Array Int Int))
(declare-fun |v_#memory_int_673_const_-328416293| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_713_const_-344031401| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_663_const_-344039255| () (Array Int (Array Int Int)))
(declare-fun v_DiskPerfReadWrite_~queueLen~0_2_const_-196487315 () Int)
(declare-fun |v_DiskPerfReadWrite_#t~ret145_3_const_-1645504190| () Int)
(declare-fun |v_#memory_int_619_const_-328416593| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_620_const_-328416699| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_621_const_-1833315787| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union239.FileObject.offset_2_const_-313271373| () Int)
(declare-fun v_DiskPerfReadWrite_~timeStamp~0.base_2_const_834627020 () Int)
(declare-fun |v_#memory_$Pointer$.offset_631_const_-1833315382| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_624_const_-1833315786| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_625_const_-1833315791| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_710_const_-1833308588| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_698_const_-328416348| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_624_const_-344038604| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_713_const_-1833308591| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_690_const_-1833315571| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_570_const_-1833314548| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.DataPath.offset_2_const_-214382541| () Int)
(declare-fun |v_#memory_$Pointer$.offset_568_const_-1833314441| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_660_const_-328416711| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_661_const_-328416712| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union239.__annonCompField19.DeleteHandle.offset_2_const_682202668| () Int)
(declare-fun |v_#memory_$Pointer$.offset_615_const_-1833315824| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_702_const_-344031305| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_703_const_-344031306| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_646_const_-1833315338| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union236.SecurityContext.offset_2_const_1381740362| () Int)
(declare-fun |v_#memory_$Pointer$.base_583_const_-344038356| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_670_const_-1833315505| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_689_const_-1833315465| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_687_const_-1833315467| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_573_const_-344038385| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union259.AllocatedResources.base_2_const_2077265434| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union259.AllocatedResourcesTranslated.base_2_const_1990804368| () Int)
(declare-fun |v_#memory_$Pointer$.base_570_const_-344038398| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_583_const_-328415303| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_584_const_-328415304| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_659_const_-328416733| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_582_const_-328415298| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_709_const_-1833308482| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_704_const_-344031311| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_662_const_-344039250| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_659_const_-1833315440| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_655_const_-1833315436| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_611_const_-344038646| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_715_const_-1833308589| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_716_const_-1833308590| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_626_const_-344038602| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_627_const_-344038607| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_699_const_-344039414| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_697_const_-344039416| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_592_const_-1833315124| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union251.Buffer.offset_2_const_-344774494| () Int)
(declare-fun |v_#memory_$Pointer$.offset_590_const_-1833315134| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_626_const_-1833315792| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_623_const_-1833315785| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_576_const_-1833314550| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_577_const_-1833314539| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_613_const_-1833315818| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_614_const_-1833315823| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_607_const_-1833315715| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_608_const_-1833315716| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union243.SecurityDescriptor.offset_2_const_483461742| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union244.Vpb.offset_2_const_1492039360| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union244.DeviceObject.offset_2_const_-686815245| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union245.Vpb.offset_2_const_986475873| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union245.DeviceObject.offset_2_const_558083762| () Int)
(declare-fun |v_#memory_$Pointer$.offset_600_const_-1833315724| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_689_const_-328416378| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_657_const_-328416735| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_658_const_-328416736| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union248.Interface.offset_2_const_-2080181035| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union248.InterfaceSpecificData.offset_2_const_1247196849| () Int)
(declare-fun |v_#memory_int_688_const_-328416377| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union239.__annonCompField19.DeleteHandle.base_2_const_-844916690| () Int)
(declare-fun |v_#memory_$Pointer$.base_615_const_-344038634| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_660_const_-1833315410| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_714_const_-344031402| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_651_const_-1833315448| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_648_const_-1833315344| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_611_const_-328416601| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_616_const_-328416606| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_618_const_-328416596| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_700_const_-344031307| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_701_const_-344031308| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_597_const_-344037943| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union248.Interface.base_2_const_1073992983| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union248.InterfaceSpecificData.base_2_const_876334579| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union240.Length_2_const_1296941743| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union240.FsInformationClass_2_const_-681174500| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union241.OutputBufferLength_2_const_52933263| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union241.InputBufferLength_2_const_669035890| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union241.IoControlCode_2_const_-2109813314| () Int)
(declare-fun |v_#memory_int_627_const_-328416702| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.Buffer.offset_2_const_1599808580| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument1.offset_2_const_-542962745| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument2.offset_2_const_-739599640| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument3.offset_2_const_-935990903| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union261.Argument4.offset_2_const_-1132496726| () Int)
(declare-fun |v_#memory_$Pointer$.offset_563_const_-1833314456| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union236.SecurityContext.base_2_const_898691276| () Int)
(declare-fun |v_#memory_$Pointer$.base_651_const_-344039282| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_654_const_-1833315435| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_705_const_-1833308494| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_706_const_-1833308483| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_607_const_-344038541| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union243.SecurityDescriptor.base_2_const_-787155760| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union244.Vpb.base_2_const_1899929026| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union244.DeviceObject.base_2_const_-2124560459| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union245.Vpb.base_2_const_2029009059| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union245.DeviceObject.base_2_const_-1913335244| () Int)
(declare-fun |v_#memory_$Pointer$.base_600_const_-344038550| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_589_const_-328415417| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_707_const_-344031310| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_628_const_-344038608| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_714_const_-1833308592| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union251.Offset_2_const_906062946| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union251.Length_2_const_-696639857| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union254.DeviceTextType_2_const_-1221288517| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union254.LocaleId_2_const_1133870531| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union255.InPath_2_const_411990799| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union255.Reserved_2_const_1667881577| () (Array Int Int))
(declare-fun |v_DiskPerfReadWrite_#t~union255.Type_2_const_-366330337| () Int)
(declare-fun |v_#memory_int_595_const_-328415400| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_690_const_-344039421| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.BufferSize_2_const_1592938194| () Int)
(declare-fun |v_#memory_int_694_const_-328416360| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union239.FileObject.base_2_const_1755155317| () Int)
(declare-fun |v_#memory_$Pointer$.base_685_const_-344039319| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_678_const_-344039339| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_692_const_-344039411| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_693_const_-344039412| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_654_const_-328416732| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_655_const_-328416729| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_663_const_-1833315413| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_661_const_-1833315415| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_int_656_const_-328416730| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union248.Size_2_const_-1963365444| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union248.Version_2_const_-1247992093| () Int)
(declare-fun |v_#memory_$Pointer$.base_676_const_-344039349| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_662_const_-1833315416| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_598_const_-344037944| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_622_const_-1833315788| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_652_const_-344039287| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_653_const_-344039288| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_691_const_-344039422| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union260.DataPath.base_2_const_-63727627| () Int)
(declare-fun |v_#memory_$Pointer$.offset_579_const_-1833314537| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union258.SystemContext_2_const_1241829372| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union258.Type_2_const_567261090| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union258.State.DeviceState_2_const_1565768158| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union258.ShutdownType_2_const_1503796652| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union259.AllocatedResources.offset_2_const_121501976| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union259.AllocatedResourcesTranslated.offset_2_const_-1484117714| () Int)
(declare-fun |v_#memory_$Pointer$.base_586_const_-344038359| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_587_const_-344038360| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_614_const_-344038633| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_585_const_-1833314520| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_584_const_-1833314519| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union242.SecurityInformation_2_const_-1684745259| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union242.Length_2_const_903782481| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union243.SecurityInformation_2_const_-439977324| () Int)
(declare-fun |v_#memory_$Pointer$.offset_612_const_-1833315817| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_581_const_-1833314516| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_582_const_-1833314513| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_583_const_-1833314514| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.offset_580_const_-1833314515| () (Array Int (Array Int Int)))
(declare-fun |v_#memory_$Pointer$.base_625_const_-344038601| () (Array Int (Array Int Int)))
(declare-fun |v_DiskPerfReadWrite_#t~union248.InterfaceType.offset_2_const_-1878723121| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union241.Type3InputBuffer.base_2_const_1870114356| () Int)
(declare-fun |v_DiskPerfReadWrite_#t~union248.InterfaceType.base_2_const_1377981681| () Int)
(assert (let ((.cse11 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 12)) (.cse5 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 4)) (.cse27 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 20)) (.cse288 (select |v_#memory_$Pointer$.base_726_const_-344031375| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse228 (select |v_#memory_$Pointer$.offset_726_const_-1833308557| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse55 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 16)) (.cse26 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 28)) (.cse80 (select |v_#memory_int_743_const_-328409529| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse1 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 24))) (let ((.cse10 (select |v_#memory_$Pointer$.base_622_const_-344038614| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse28 (select |v_#memory_$Pointer$.base_711_const_-344031403| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse43 (select |v_#memory_$Pointer$.offset_574_const_-1833314552| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse58 (select |v_#memory_$Pointer$.offset_718_const_-1833308580| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse21 (select |v_#memory_int_622_const_-328416697| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse2 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 25)) (.cse67 (select |v_#memory_$Pointer$.base_634_const_-344039211| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse49 (select |v_#memory_$Pointer$.offset_699_const_-1833315564| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse18 (select |v_#memory_int_701_const_-328409407| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse23 (select |v_#memory_int_700_const_-328409402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse75 (select |v_#memory_$Pointer$.base_687_const_-344039317| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse48 (select |v_#memory_$Pointer$.base_665_const_-344039253| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse81 (select |v_#memory_int_711_const_-328409370| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse13 (select |v_#memory_int_705_const_-328409395| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse108 (select |v_#memory_$Pointer$.base_660_const_-344039252| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse92 (select |v_#memory_$Pointer$.offset_703_const_-1833308496| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse74 (select |v_#memory_$Pointer$.offset_692_const_-1833315569| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse53 (select |v_#memory_$Pointer$.offset_697_const_-1833315574| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse93 (select |v_#memory_$Pointer$.offset_700_const_-1833308489| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse133 (select |v_#memory_$Pointer$.offset_696_const_-1833315573| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse103 (select |v_#memory_$Pointer$.base_670_const_-344039347| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse102 (select |v_#memory_$Pointer$.offset_724_const_-1833308559| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse116 (select |v_#memory_$Pointer$.base_720_const_-344031381| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse35 (select |v_#memory_$Pointer$.base_581_const_-344038366| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse121 (select |v_#memory_$Pointer$.offset_676_const_-1833315499| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse61 (select |v_#memory_$Pointer$.offset_618_const_-1833315811| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse100 (select |v_#memory_$Pointer$.offset_725_const_-1833308560| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse159 (select |v_#memory_$Pointer$.offset_667_const_-1833315401| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse128 (select |v_#memory_$Pointer$.base_577_const_-344038389| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse47 (select |v_#memory_$Pointer$.base_666_const_-344039254| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse140 (select |v_#memory_$Pointer$.base_716_const_-344031408| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse78 (select .cse80 .cse1)) (.cse77 (select |v_#memory_int_715_const_-328409374| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse83 (select |v_#memory_$Pointer$.base_618_const_-344038637| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse179 (select |v_#memory_$Pointer$.base_717_const_-344031405| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse181 (select .cse80 .cse26)) (.cse45 (select |v_#memory_$Pointer$.base_712_const_-344031404| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse105 (select |v_#memory_$Pointer$.base_668_const_-344039244| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse168 (select |v_#memory_$Pointer$.base_667_const_-344039243| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse124 (select |v_#memory_$Pointer$.base_664_const_-344039256| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse126 (select |v_#memory_$Pointer$.base_659_const_-344039274| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse163 (select |v_#memory_$Pointer$.base_658_const_-344039273| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse60 (select |v_#memory_$Pointer$.offset_619_const_-1833315812| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse161 (select |v_#memory_$Pointer$.offset_634_const_-1833315369| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse145 (select |v_#memory_$Pointer$.offset_633_const_-1833315372| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse147 (select |v_#memory_$Pointer$.offset_723_const_-1833308554| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse64 (select |v_#memory_$Pointer$.offset_722_const_-1833308553| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse94 (select |v_#memory_$Pointer$.offset_630_const_-1833315381| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse95 (select |v_#memory_$Pointer$.offset_629_const_-1833315779| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse134 (select |v_#memory_$Pointer$.offset_628_const_-1833315790| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse137 (select |v_#memory_$Pointer$.offset_711_const_-1833308585| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse24 (select |v_#memory_int_699_const_-328416345| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse40 (select |v_#memory_$Pointer$.base_623_const_-344038603| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse136 (select |v_#memory_$Pointer$.offset_712_const_-1833308586| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse132 (select |v_#memory_$Pointer$.offset_691_const_-1833315572| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse156 (select |v_#memory_$Pointer$.offset_617_const_-1833315822| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse160 (select |v_#memory_$Pointer$.offset_635_const_-1833315370| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse57 (select |v_#memory_$Pointer$.base_584_const_-344038353| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse158 (select |v_#memory_$Pointer$.offset_668_const_-1833315402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse155 (select |v_#memory_$Pointer$.offset_675_const_-1833315510| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse51 (select .cse228 .cse55)) (.cse238 (select |v_#memory_$Pointer$.offset_670_const_-1833315505| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse8 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 2)) (.cse180 (select |v_#memory_int_738_const_-328409427| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse226 (select .cse228 .cse26)) (.cse39 (select |v_#memory_$Pointer$.offset_685_const_-1833315477| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse120 (select |v_#memory_$Pointer$.offset_678_const_-1833315497| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse220 (select |v_#memory_int_660_const_-328416711| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse245 (select |v_#memory_int_583_const_-328415303| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse71 (select |v_#memory_$Pointer$.offset_708_const_-1833308481| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse193 (select |v_#memory_$Pointer$.base_574_const_-344038386| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse242 (select |v_#memory_$Pointer$.base_573_const_-344038385| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse9 (select |v_#memory_$Pointer$.base_723_const_-344031372| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse148 (select |v_#memory_$Pointer$.base_722_const_-344031371| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse208 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 3)) (.cse222 (select |v_#memory_$Pointer$.base_703_const_-344031306| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse106 (select |v_#memory_$Pointer$.base_661_const_-344039249| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse182 (select |v_#memory_$Pointer$.offset_658_const_-1833315439| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse66 (select |v_#memory_$Pointer$.offset_720_const_-1833308555| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse62 (select |v_#memory_$Pointer$.offset_719_const_-1833308577| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse183 (select |v_#memory_$Pointer$.offset_657_const_-1833315434| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse99 (select |v_#memory_$Pointer$.base_612_const_-344038635| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse143 (select .cse288 .cse55)) (.cse210 (select |v_#memory_$Pointer$.offset_625_const_-1833315791| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse211 (select |v_#memory_$Pointer$.offset_624_const_-1833315786| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse175 (select |v_#memory_$Pointer$.base_705_const_-344031312| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse249 (select |v_#memory_$Pointer$.base_704_const_-344031311| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse269 (select |v_#memory_$Pointer$.offset_607_const_-1833315715| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse131 (select |v_#memory_int_690_const_-328416356| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse88 (select |v_#memory_int_666_const_-328416313| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse113 (select |v_#memory_int_664_const_-328416315| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse259 (select |v_#memory_$Pointer$.base_697_const_-344039416| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse152 (select |v_#memory_$Pointer$.base_696_const_-344039415| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse79 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 25)) (.cse204 (select |v_#memory_$Pointer$.base_663_const_-344039255| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse250 (select |v_#memory_$Pointer$.base_662_const_-344039250| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse237 (select |v_#memory_$Pointer$.base_583_const_-344038356| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse33 (select |v_#memory_$Pointer$.base_582_const_-344038355| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse241 (select |v_#memory_$Pointer$.offset_687_const_-1833315467| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse38 (select |v_#memory_$Pointer$.offset_686_const_-1833315478| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse265 (select |v_#memory_$Pointer$.offset_576_const_-1833314550| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse54 (select |v_#memory_$Pointer$.offset_575_const_-1833314549| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse173 (select |v_#memory_$Pointer$.offset_597_const_-1833315125| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse260 (select |v_#memory_$Pointer$.offset_592_const_-1833315124| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse271 (select |v_#memory_int_689_const_-328416378| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse151 (select |v_#memory_$Pointer$.base_580_const_-344038365| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse127 (select |v_#memory_$Pointer$.base_579_const_-344038379| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse184 (select |v_#memory_$Pointer$.base_617_const_-344038640| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse119 (select |v_#memory_$Pointer$.offset_588_const_-1833314507| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse4 (select |v_#memory_$Pointer$.offset_587_const_-1833314518| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse251 (select |v_#memory_$Pointer$.offset_659_const_-1833315440| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse125 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 7)) (.cse202 (select |v_#memory_int_673_const_-328416293| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse114 (select .cse80 .cse27)) (.cse87 (select |v_#memory_int_667_const_-328416314| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse115 (select |v_#memory_int_662_const_-328416709| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse219 (select |v_#memory_int_661_const_-328416712| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse203 (select |v_#memory_$Pointer$.base_713_const_-344031401| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse65 (select .cse228 .cse5)) (.cse274 (select |v_#memory_int_688_const_-328416377| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse15 (select .cse80 .cse5)) (.cse194 (select |v_#memory_int_686_const_-328416379| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse110 (select |v_#memory_int_612_const_-328416602| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse212 (select |v_#memory_$Pointer$.offset_710_const_-1833308588| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse248 (select |v_#memory_$Pointer$.offset_709_const_-1833308482| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse261 (select |v_#memory_$Pointer$.offset_590_const_-1833315134| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse118 (select |v_#memory_$Pointer$.offset_589_const_-1833314508| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse164 (select |v_#memory_$Pointer$.base_657_const_-344039276| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse165 (select |v_#memory_$Pointer$.base_655_const_-344039286| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse86 (select |v_#memory_$Pointer$.offset_652_const_-1833315445| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse278 (select |v_#memory_$Pointer$.offset_651_const_-1833315448| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse189 (select |v_#memory_$Pointer$.base_631_const_-344039224| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse31 (select |v_#memory_$Pointer$.base_630_const_-344039223| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse186 (select |v_#memory_$Pointer$.base_592_const_-344037950| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse3 (select |v_#memory_int_633_const_-328416665| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse218 (select |v_#memory_$Pointer$.offset_568_const_-1833314441| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse84 (select |v_#memory_$Pointer$.base_635_const_-344039212| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse112 (select |v_#memory_$Pointer$.base_646_const_-344039180| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse123 (select .cse288 .cse26)) (.cse229 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 36)) (.cse230 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 36)) (.cse232 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 44)) (.cse234 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 52)) (.cse236 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 60)) (.cse68 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 22)) (.cse0 (select |v_#memory_int_637_const_-328416669| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse111 (select |v_#memory_$Pointer$.base_648_const_-344039178| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse85 (select |v_#memory_$Pointer$.offset_653_const_-1833315446| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse139 (select |v_#memory_$Pointer$.offset_695_const_-1833315576| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse239 (select .cse228 .cse1)) (.cse73 (select |v_#memory_$Pointer$.offset_693_const_-1833315570| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse89 (select |v_#memory_int_588_const_-328415420| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse174 (select |v_#memory_$Pointer$.base_706_const_-344031309| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse32 (select |v_#memory_$Pointer$.base_629_const_-344038605| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse255 (select |v_#memory_$Pointer$.offset_715_const_-1833308589| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse191 (select |v_#memory_int_608_const_-328416625| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse122 (select |v_#memory_$Pointer$.base_689_const_-344039307| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse216 (select |v_#memory_$Pointer$.offset_690_const_-1833315571| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse240 (select |v_#memory_$Pointer$.offset_689_const_-1833315465| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse221 (select |v_#memory_$Pointer$.offset_615_const_-1833315824| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse266 (select |v_#memory_$Pointer$.offset_614_const_-1833315823| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse90 (select |v_#memory_int_586_const_-328415302| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse244 (select |v_#memory_int_584_const_-328415304| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse213 (select |v_#memory_int_698_const_-328416348| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse96 (select |v_#memory_int_697_const_-328416347| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse141 (select |v_#memory_$Pointer$.base_715_const_-344031407| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse277 (select |v_#memory_$Pointer$.base_714_const_-344031402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse17 (select .cse80 .cse11)) (.cse130 (select |v_#memory_int_691_const_-328416353| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse12 (select |v_#memory_$Pointer$.base_621_const_-344038613| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse82 (select |v_#memory_$Pointer$.base_619_const_-344038638| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse104 (select .cse288 .cse11)) (.cse30 (select |v_#memory_$Pointer$.base_710_const_-344031414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse176 (select |v_#memory_$Pointer$.base_709_const_-344031300| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse235 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 60)) (.cse252 (select |v_#memory_$Pointer$.offset_655_const_-1833315436| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse291 (select |v_#memory_$Pointer$.offset_654_const_-1833315435| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse37 (select |v_#memory_$Pointer$.offset_664_const_-1833315414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse195 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 8)) (.cse276 (select |v_#memory_$Pointer$.offset_660_const_-1833315410| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse107 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 6)) (.cse129 (select |v_#memory_$Pointer$.offset_702_const_-1833308495| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse138 (select |v_#memory_$Pointer$.offset_701_const_-1833308490| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse307 (select |v_#memory_int_655_const_-328416729| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse233 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 52)) (.cse282 (select |v_#memory_int_616_const_-328416606| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse109 (select |v_#memory_int_613_const_-328416607| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse304 (select |v_#memory_$Pointer$.base_678_const_-344039339| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse149 (select .cse288 .cse5)) (.cse308 (select |v_#memory_$Pointer$.offset_663_const_-1833315413| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse247 (select |v_#memory_int_582_const_-328415298| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse178 (select |v_#memory_int_581_const_-328415297| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse59 (select |v_#memory_$Pointer$.offset_717_const_-1833308579| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse254 (select |v_#memory_$Pointer$.offset_716_const_-1833308590| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse285 (select |v_#memory_$Pointer$.base_597_const_-344037943| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse172 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 14)) (.cse284 (select |v_#memory_$Pointer$.base_700_const_-344031307| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse258 (select |v_#memory_$Pointer$.base_699_const_-344039414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse263 (select |v_#memory_$Pointer$.offset_623_const_-1833315785| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse306 (select |v_#memory_$Pointer$.base_692_const_-344039411| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse22 (select |v_#memory_int_621_const_-328416700| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse205 (select |v_#memory_int_620_const_-328416699| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse243 (select |v_#memory_$Pointer$.base_570_const_-344038398| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse25 (select |v_#memory_$Pointer$.base_568_const_-344038283| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse264 (select |v_#memory_$Pointer$.offset_577_const_-1833314539| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse298 (select |v_#memory_$Pointer$.base_628_const_-344038608| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse256 (select |v_#memory_$Pointer$.base_627_const_-344038607| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse314 (select |v_#memory_$Pointer$.offset_622_const_-1833315788| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse207 (select |v_#memory_$Pointer$.offset_621_const_-1833315787| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse317 (select |v_#memory_$Pointer$.base_691_const_-344039422| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse301 (select |v_#memory_$Pointer$.base_690_const_-344039421| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse280 (select |v_#memory_int_611_const_-328416601| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse190 (select |v_#memory_int_610_const_-328416604| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse300 (select |v_#memory_int_595_const_-328415400| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse296 (select |v_#memory_int_589_const_-328415417| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse153 (select |v_#memory_$Pointer$.base_695_const_-344039410| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse52 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 24)) (.cse144 (select .cse288 .cse1)) (.cse305 (select |v_#memory_$Pointer$.base_693_const_-344039412| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse44 (select |v_#memory_$Pointer$.offset_573_const_-1833314551| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse217 (select |v_#memory_$Pointer$.offset_570_const_-1833314548| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse275 (select |v_#memory_$Pointer$.base_615_const_-344038634| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse97 (select |v_#memory_int_696_const_-328416358| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse302 (select |v_#memory_int_694_const_-328416360| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse246 (select |v_#memory_int_659_const_-328416733| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse272 (select |v_#memory_int_658_const_-328416736| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse223 (select |v_#memory_$Pointer$.base_702_const_-344031305| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse283 (select |v_#memory_$Pointer$.base_701_const_-344031308| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse312 (select |v_#memory_$Pointer$.offset_662_const_-1833315416| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse309 (select |v_#memory_$Pointer$.offset_661_const_-1833315415| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse197 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 5)) (.cse187 (select |v_#memory_$Pointer$.base_590_const_-344037952| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse19 (select |v_#memory_$Pointer$.base_589_const_-344038358| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse20 (select |v_#memory_$Pointer$.base_588_const_-344038357| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse319 (select |v_#memory_$Pointer$.base_587_const_-344038360| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse76 (select |v_#memory_$Pointer$.base_686_const_-344039320| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse303 (select |v_#memory_$Pointer$.base_685_const_-344039319| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse135 (select |v_#memory_$Pointer$.offset_627_const_-1833315789| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse262 (select |v_#memory_$Pointer$.offset_626_const_-1833315792| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse320 (select |v_#memory_$Pointer$.base_586_const_-344038359| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse56 (select |v_#memory_$Pointer$.base_585_const_-344038354| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse6 (select |v_#memory_$Pointer$.offset_586_const_-1833314517| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse72 (select |v_#memory_$Pointer$.offset_707_const_-1833308484| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse292 (select |v_#memory_$Pointer$.offset_706_const_-1833308483| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse322 (select |v_#memory_$Pointer$.offset_585_const_-1833314520| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse316 (select |v_#memory_$Pointer$.base_652_const_-344039287| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse290 (select |v_#memory_$Pointer$.base_651_const_-344039282| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse286 (select |v_#memory_int_627_const_-328416702| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse70 (select |v_#memory_int_623_const_-328416698| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse206 (select |v_#memory_int_619_const_-328416593| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse281 (select |v_#memory_int_618_const_-328416596| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse293 (select |v_#memory_$Pointer$.offset_705_const_-1833308494| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse91 (select |v_#memory_$Pointer$.offset_704_const_-1833308493| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse169 (select |v_#memory_$Pointer$.offset_611_const_-1833315820| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse267 (select |v_#memory_$Pointer$.offset_613_const_-1833315818| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse324 (select |v_#memory_$Pointer$.offset_612_const_-1833315817| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse34 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 7)) (.cse325 (select |v_#memory_$Pointer$.offset_582_const_-1833314513| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse201 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 6)) (.cse321 (select |v_#memory_$Pointer$.base_614_const_-344038633| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse98 (select |v_#memory_$Pointer$.base_613_const_-344038636| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse157 (select |v_#memory_$Pointer$.base_725_const_-344031370| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse7 (select |v_#memory_$Pointer$.base_724_const_-344031369| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse101 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 1)) (.cse162 (select |v_#memory_$Pointer$.offset_666_const_-1833315404| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse36 (select |v_#memory_$Pointer$.offset_665_const_-1833315403| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse14 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 4)) (.cse166 (select |v_#memory_$Pointer$.base_654_const_-344039285| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse315 (select |v_#memory_$Pointer$.base_653_const_-344039288| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse50 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 16)) (.cse326 (select |v_#memory_$Pointer$.offset_581_const_-1833314516| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse150 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 8)) (.cse289 (select |v_#memory_int_653_const_-328416731| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse299 (select |v_#memory_$Pointer$.offset_714_const_-1833308592| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse215 (select |v_#memory_$Pointer$.offset_713_const_-1833308591| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse46 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 28)) (.cse257 (select |v_#memory_$Pointer$.base_626_const_-344038602| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse311 (select |v_#memory_$Pointer$.base_676_const_-344039349| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse142 (select |v_#memory_$Pointer$.base_675_const_-344039352| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse154 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 14)) (.cse270 (select |v_#memory_$Pointer$.offset_600_const_-1833315724| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse171 (select |v_#memory_$Pointer$.offset_598_const_-1833315126| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse69 (select |v_#memory_$Pointer$.base_633_const_-344039222| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse188 (select |v_#memory_$Pointer$.base_632_const_-344039221| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse279 (select |v_#memory_$Pointer$.offset_648_const_-1833315344| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse16 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 12)) (.cse227 (select .cse228 .cse11)) (.cse225 (select |v_#memory_$Pointer$.offset_646_const_-1833315338| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse253 (select |v_#memory_$Pointer$.base_611_const_-344038646| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse41 (select |v_#memory_$Pointer$.base_609_const_-344038531| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse329 (select |v_#memory_$Pointer$.base_625_const_-344038601| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse214 (select |v_#memory_$Pointer$.base_624_const_-344038604| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse273 (select |v_#memory_int_657_const_-328416735| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse310 (select |v_#memory_int_656_const_-328416730| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse231 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 44)) (.cse295 (select |v_#memory_$Pointer$.base_600_const_-344038550| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse313 (select |v_#memory_$Pointer$.base_598_const_-344037944| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse177 (select |v_#memory_$Pointer$.base_708_const_-344031299| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse297 (select |v_#memory_$Pointer$.base_707_const_-344031310| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse29 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 20)) (.cse117 (select |v_#memory_$Pointer$.base_719_const_-344031395| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse185 (select |v_#memory_$Pointer$.base_718_const_-344031406| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715)) (.cse63 (+ v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 22)) (.cse170 (select |v_#memory_$Pointer$.offset_609_const_-1833315713| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse268 (select |v_#memory_$Pointer$.offset_608_const_-1833315716| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse328 (select |v_#memory_$Pointer$.offset_580_const_-1833314515| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse318 (select |v_#memory_$Pointer$.offset_579_const_-1833314537| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse42 (select |v_#memory_$Pointer$.base_608_const_-344038542| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse294 (select |v_#memory_$Pointer$.base_607_const_-344038541| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse146 (select |v_#memory_$Pointer$.offset_632_const_-1833315371| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse209 (select |v_#memory_$Pointer$.offset_631_const_-1833315382| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse323 (select |v_#memory_$Pointer$.offset_584_const_-1833314519| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse327 (select |v_#memory_$Pointer$.offset_583_const_-1833314514| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse199 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 5)) (.cse167 (select |v_#memory_$Pointer$.base_576_const_-344038392| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783)) (.cse192 (select |v_#memory_$Pointer$.base_575_const_-344038391| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783))) (and (= |v_#memory_int_633_const_-328416665| (store |v_#memory_int_637_const_-328416669| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse0 .cse1 |v_DiskPerfReadWrite_#t~union239.__annonCompField19.__annonCompField18.ReplaceIfExists_2_const_1888816077|) .cse2 |v_DiskPerfReadWrite_#t~union239.__annonCompField19.__annonCompField18.AdvanceOnly_2_const_-999142740|) .cse1 (select .cse3 .cse1)))) (= |v_#memory_$Pointer$.offset_586_const_-1833314517| (store |v_#memory_$Pointer$.offset_587_const_-1833314518| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse4 .cse5 (select .cse6 .cse5)))) (= |v_#memory_$Pointer$.base_723_const_-344031372| (store |v_#memory_$Pointer$.base_724_const_-344031369| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse7 .cse8 (select .cse9 .cse8)))) (= (store |v_#memory_$Pointer$.base_622_const_-344038614| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse10 .cse11 (select .cse12 .cse11))) |v_#memory_$Pointer$.base_621_const_-344038613|) (= (store |v_#memory_int_705_const_-328409395| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store .cse13 .cse14 .cse15) .cse16 .cse17) .cse14 .cse15) .cse16 (select .cse18 .cse16))) |v_#memory_int_701_const_-328409407|) (= (store |v_#memory_$Pointer$.base_589_const_-344038358| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse19 .cse5 (select .cse20 .cse5))) |v_#memory_$Pointer$.base_588_const_-344038357|) (= (store |v_#memory_int_622_const_-328416697| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse21 .cse11 (select .cse22 .cse11))) |v_#memory_int_621_const_-328416700|) (= |v_#memory_int_699_const_-328416345| (store |v_#memory_int_700_const_-328409402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse23 .cse16 (select .cse24 .cse16)))) (= |v_#memory_$Pointer$.base_563_const_-344038290| (store |v_#memory_$Pointer$.base_568_const_-344038283| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store .cse25 .cse26 |v_DiskPerfReadWrite_#t~union260.Buffer.base_2_const_-857367482|) .cse5 |v_DiskPerfReadWrite_#t~union261.Argument1.base_2_const_-1319942007|) .cse11 |v_DiskPerfReadWrite_#t~union261.Argument2.base_2_const_422747114|) .cse27 |v_DiskPerfReadWrite_#t~union261.Argument3.base_2_const_-2129285429|) .cse26 |v_DiskPerfReadWrite_#t~union261.Argument4.base_2_const_-386612692|))) (= |v_#memory_$Pointer$.base_710_const_-344031414| (store |v_#memory_$Pointer$.base_711_const_-344031403| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse28 .cse29 (select .cse30 .cse29)))) (= v_DiskPerfReadWrite_~timeStamp~0.offset_2_const_-175020982 .cse5) (= (store |v_#memory_$Pointer$.base_630_const_-344039223| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse31 .cse27 (select .cse32 .cse27))) |v_#memory_$Pointer$.base_629_const_-344038605|) (= (store |v_#memory_$Pointer$.base_582_const_-344038355| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse33 .cse34 (select .cse35 .cse34))) |v_#memory_$Pointer$.base_581_const_-344038366|) (= |v_#memory_$Pointer$.offset_664_const_-1833315414| (store |v_#memory_$Pointer$.offset_665_const_-1833315403| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse36 .cse14 (select .cse37 .cse14)))) (= |v_#memory_$Pointer$.offset_685_const_-1833315477| (store |v_#memory_$Pointer$.offset_686_const_-1833315478| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse38 .cse14 (select .cse39 .cse14)))) (= |v_#memory_$Pointer$.base_622_const_-344038614| (store |v_#memory_$Pointer$.base_623_const_-344038603| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse40 .cse5 (select .cse10 .cse5)))) (= |v_#memory_$Pointer$.base_608_const_-344038542| (store |v_#memory_$Pointer$.base_609_const_-344038531| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse41 .cse11 (select .cse42 .cse11)))) (= |v_#memory_$Pointer$.offset_573_const_-1833314551| (store |v_#memory_$Pointer$.offset_574_const_-1833314552| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse43 .cse27 (select .cse44 .cse27)))) (= (store |v_#memory_$Pointer$.base_712_const_-344031404| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse45 .cse46 (select .cse28 .cse46))) |v_#memory_$Pointer$.base_711_const_-344031403|) (= (store |v_#memory_$Pointer$.base_666_const_-344039254| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse47 .cse14 (select .cse48 .cse14))) |v_#memory_$Pointer$.base_665_const_-344039253|) (= |v_#memory_$Pointer$.offset_697_const_-1833315574| (store |v_#memory_$Pointer$.offset_699_const_-1833315564| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse49 .cse50 .cse51) .cse52 (select .cse53 .cse52)))) (= |v_#memory_$Pointer$.offset_574_const_-1833314552| (store |v_#memory_$Pointer$.offset_575_const_-1833314549| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse54 .cse55 (select .cse43 .cse55)))) (= (store |v_#memory_$Pointer$.base_585_const_-344038354| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse56 .cse5 (select .cse57 .cse5))) |v_#memory_$Pointer$.base_584_const_-344038353|) (= |v_#memory_$Pointer$.offset_717_const_-1833308579| (store |v_#memory_$Pointer$.offset_718_const_-1833308580| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse58 .cse52 (select .cse59 .cse52)))) (= |v_#memory_$Pointer$.offset_618_const_-1833315811| (store |v_#memory_$Pointer$.offset_619_const_-1833315812| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse60 .cse2 (select .cse61 .cse2)))) (= |v_#memory_$Pointer$.offset_718_const_-1833308580| (store |v_#memory_$Pointer$.offset_719_const_-1833308577| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse62 .cse63 (select .cse58 .cse63)))) (= |v_#memory_$Pointer$.offset_720_const_-1833308555| (store |v_#memory_$Pointer$.offset_722_const_-1833308553| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse64 .cse14 .cse65) .cse16 (select .cse66 .cse16)))) (= |v_#memory_$Pointer$.base_633_const_-344039222| (store |v_#memory_$Pointer$.base_634_const_-344039211| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse67 .cse68 (select .cse69 .cse68)))) (= (store |v_#memory_int_623_const_-328416698| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse70 .cse5 (select .cse21 .cse5))) |v_#memory_int_622_const_-328416697|) (= (store |v_#memory_$Pointer$.offset_708_const_-1833308481| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse71 .cse29 (select .cse72 .cse29))) |v_#memory_$Pointer$.offset_707_const_-1833308484|) (= |v_#memory_$Pointer$.offset_692_const_-1833315569| (store |v_#memory_$Pointer$.offset_693_const_-1833315570| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse73 .cse16 (select .cse74 .cse16)))) (= |v_#memory_$Pointer$.base_686_const_-344039320| (store |v_#memory_$Pointer$.base_687_const_-344039317| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse75 .cse16 (select .cse76 .cse16)))) (= |v_#memory_int_711_const_-328409370| (store |v_#memory_int_715_const_-328409374| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse77 .cse52 .cse78) .cse79 (select .cse80 .cse2)) .cse52 (select .cse81 .cse52)))) (= |v_#memory_$Pointer$.base_618_const_-344038637| (store |v_#memory_$Pointer$.base_619_const_-344038638| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse82 .cse2 (select .cse83 .cse2)))) (= |v_#memory_$Pointer$.base_634_const_-344039211| (store |v_#memory_$Pointer$.base_635_const_-344039212| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse84 .cse27 (select .cse67 .cse27)))) (= |v_#memory_$Pointer$.offset_652_const_-1833315445| (store |v_#memory_$Pointer$.offset_653_const_-1833315446| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse85 .cse50 (select .cse86 .cse50)))) (= (store |v_#memory_int_667_const_-328416314| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse87 .cse16 (select .cse88 .cse16))) |v_#memory_int_666_const_-328416313|) (= |v_#memory_int_586_const_-328415302| (store |v_#memory_int_588_const_-328415420| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse89 .cse5 |v_DiskPerfReadWrite_#t~union260.ProviderId_2_const_-1058769113|) .cse11 (select .cse90 .cse11)))) (= |v_#memory_$Pointer$.offset_703_const_-1833308496| (store |v_#memory_$Pointer$.offset_704_const_-1833308493| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse91 .cse29 (select .cse92 .cse29)))) (= |v_#memory_$Pointer$.offset_699_const_-1833315564| (store |v_#memory_$Pointer$.offset_700_const_-1833308489| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse93 .cse16 (select .cse49 .cse16)))) (= |v_#memory_$Pointer$.offset_629_const_-1833315779| (store |v_#memory_$Pointer$.offset_630_const_-1833315381| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse94 .cse27 (select .cse95 .cse27)))) (= (store |v_#memory_int_697_const_-328416347| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse96 .cse14 (select .cse97 .cse14))) |v_#memory_int_696_const_-328416358|) (= |v_#memory_$Pointer$.base_612_const_-344038635| (store |v_#memory_$Pointer$.base_613_const_-344038636| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse98 .cse11 (select .cse99 .cse11)))) (= |v_#memory_$Pointer$.offset_724_const_-1833308559| (store |v_#memory_$Pointer$.offset_725_const_-1833308560| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse100 .cse101 (select .cse102 .cse101)))) (= |v_#memory_$Pointer$.base_668_const_-344039244| (store |v_#memory_$Pointer$.base_670_const_-344039347| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse103 .cse16 .cse104) .cse29 (select .cse105 .cse29)))) (= (store |v_#memory_$Pointer$.base_661_const_-344039249| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse106 .cse107 (select .cse108 .cse107))) |v_#memory_$Pointer$.base_660_const_-344039252|) (= |v_#memory_int_612_const_-328416602| (store |v_#memory_int_613_const_-328416607| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse109 .cse1 (select .cse110 .cse1)))) (= (store |v_#memory_$Pointer$.base_648_const_-344039178| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse111 .cse16 .cse104) .cse29 (select .cse112 .cse29))) |v_#memory_$Pointer$.base_646_const_-344039180|) (= |v_#memory_int_662_const_-328416709| (store |v_#memory_int_664_const_-328416315| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse113 .cse29 .cse114) .cse46 (select .cse115 .cse46)))) (= |v_#memory_$Pointer$.base_719_const_-344031395| (store |v_#memory_$Pointer$.base_720_const_-344031381| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse116 .cse29 (select .cse117 .cse29)))) (= |v_#memory_$Pointer$.offset_588_const_-1833314507| (store |v_#memory_$Pointer$.offset_589_const_-1833314508| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse118 .cse5 (select .cse119 .cse5)))) (= |v_#memory_$Pointer$.offset_676_const_-1833315499| (store |v_#memory_$Pointer$.offset_678_const_-1833315497| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse120 .cse14 .cse65) .cse16 (select .cse121 .cse16)))) (= (store |v_#memory_int_701_const_-328409407| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse18 .cse14 (select .cse23 .cse14))) |v_#memory_int_700_const_-328409402|) (= (store |v_#memory_$Pointer$.base_689_const_-344039307| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse122 .cse46 .cse123) .cse14 (select .cse75 .cse14))) |v_#memory_$Pointer$.base_687_const_-344039317|) (= |v_#memory_$Pointer$.base_664_const_-344039256| (store |v_#memory_$Pointer$.base_665_const_-344039253| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse48 .cse14 (select .cse124 .cse14)))) (= |v_#memory_int_705_const_-328409395| (store |v_#memory_int_711_const_-328409370| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store .cse81 .cse14 .cse15) .cse16 .cse17) .cse14 .cse15) .cse16 .cse17) .cse29 .cse114) .cse46 (select .cse13 .cse46)))) (= (store |v_#memory_$Pointer$.base_660_const_-344039252| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse108 .cse125 (select .cse126 .cse125))) |v_#memory_$Pointer$.base_659_const_-344039274|) (= |v_#memory_$Pointer$.base_577_const_-344038389| (store |v_#memory_$Pointer$.base_579_const_-344038379| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse127 .cse5 (select .cse128 .cse5)))) (= |v_#memory_$Pointer$.offset_702_const_-1833308495| (store |v_#memory_$Pointer$.offset_703_const_-1833308496| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse92 .cse14 (select .cse129 .cse14)))) (= (store |v_#memory_int_691_const_-328416353| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse130 .cse52 (select .cse131 .cse52))) |v_#memory_int_690_const_-328416356|) (= |v_#memory_$Pointer$.offset_691_const_-1833315572| (store |v_#memory_$Pointer$.offset_692_const_-1833315569| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse74 .cse14 (select .cse132 .cse14)))) (= |v_#memory_$Pointer$.offset_696_const_-1833315573| (store |v_#memory_$Pointer$.offset_697_const_-1833315574| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse53 .cse79 (select .cse133 .cse79)))) (= |v_#memory_$Pointer$.offset_627_const_-1833315789| (store |v_#memory_$Pointer$.offset_628_const_-1833315790| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse134 .cse27 (select .cse135 .cse27)))) (= |v_#memory_$Pointer$.offset_711_const_-1833308585| (store |v_#memory_$Pointer$.offset_712_const_-1833308586| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse136 .cse46 (select .cse137 .cse46)))) (= |v_#memory_$Pointer$.offset_700_const_-1833308489| (store |v_#memory_$Pointer$.offset_701_const_-1833308490| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse138 .cse14 (select .cse93 .cse14)))) (= |v_#memory_$Pointer$.offset_695_const_-1833315576| (store |v_#memory_$Pointer$.offset_696_const_-1833315573| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse133 .cse52 (select .cse139 .cse52)))) (= (store |v_#memory_$Pointer$.base_716_const_-344031408| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse140 .cse16 (select .cse141 .cse16))) |v_#memory_$Pointer$.base_715_const_-344031407|) (= (store |v_#memory_$Pointer$.base_675_const_-344039352| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse142 .cse50 .cse143) .cse52 .cse144) .cse14 (select .cse103 .cse14))) |v_#memory_$Pointer$.base_670_const_-344039347|) (= |v_#memory_$Pointer$.offset_632_const_-1833315371| (store |v_#memory_$Pointer$.offset_633_const_-1833315372| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse145 .cse1 (select .cse146 .cse1)))) (= |v_#memory_$Pointer$.offset_723_const_-1833308554| (store |v_#memory_$Pointer$.offset_724_const_-1833308559| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse102 .cse8 (select .cse147 .cse8)))) (= (store |v_#memory_$Pointer$.base_722_const_-344031371| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse148 .cse14 .cse149) .cse16 (select .cse116 .cse16))) |v_#memory_$Pointer$.base_720_const_-344031381|) (= |v_#memory_$Pointer$.base_580_const_-344038365| (store |v_#memory_$Pointer$.base_581_const_-344038366| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse35 .cse150 (select .cse151 .cse150)))) (= (store |v_#memory_$Pointer$.base_696_const_-344039415| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse152 .cse52 (select .cse153 .cse52))) |v_#memory_$Pointer$.base_695_const_-344039410|) (= |v_#memory_$Pointer$.offset_675_const_-1833315510| (store |v_#memory_$Pointer$.offset_676_const_-1833315499| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse121 .cse154 (select .cse155 .cse154)))) (= |v_#memory_$Pointer$.offset_617_const_-1833315822| (store |v_#memory_$Pointer$.offset_618_const_-1833315811| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse61 .cse1 (select .cse156 .cse1)))) (= |v_#memory_$Pointer$.base_725_const_-344031370| (store |v_#memory_$Pointer$.base_726_const_-344031375| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (select |v_#memory_$Pointer$.base_726_const_-344031375| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715) v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 (select .cse157 v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839)))) (= |v_#memory_$Pointer$.offset_667_const_-1833315401| (store |v_#memory_$Pointer$.offset_668_const_-1833315402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse158 .cse46 (select .cse159 .cse46)))) (= |v_#memory_$Pointer$.offset_725_const_-1833308560| (store |v_#memory_$Pointer$.offset_726_const_-1833308557| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (select |v_#memory_$Pointer$.offset_726_const_-1833308557| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715) v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 (select .cse100 v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839)))) (= |v_#memory_$Pointer$.offset_634_const_-1833315369| (store |v_#memory_$Pointer$.offset_635_const_-1833315370| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse160 .cse27 (select .cse161 .cse27)))) (= (store |v_#memory_$Pointer$.offset_667_const_-1833315401| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse159 .cse14 (select .cse162 .cse14))) |v_#memory_$Pointer$.offset_666_const_-1833315404|) (= (store |v_#memory_$Pointer$.base_658_const_-344039273| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse163 .cse14 (select .cse164 .cse14))) |v_#memory_$Pointer$.base_657_const_-344039276|) (= |v_#memory_$Pointer$.base_654_const_-344039285| (store |v_#memory_$Pointer$.base_655_const_-344039286| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse165 .cse16 (select .cse166 .cse16)))) (= |v_#memory_$Pointer$.base_576_const_-344038392| (store |v_#memory_$Pointer$.base_577_const_-344038389| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse128 .cse11 (select .cse167 .cse11)))) (= |v_#memory_$Pointer$.base_666_const_-344039254| (store |v_#memory_$Pointer$.base_667_const_-344039243| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse168 .cse14 (select .cse47 .cse14)))) (= |v_#memory_$Pointer$.offset_609_const_-1833315713| (store |v_#memory_$Pointer$.offset_611_const_-1833315820| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse169 .cse26 |v_DiskPerfReadWrite_#t~union241.Type3InputBuffer.offset_2_const_-1508144462|) .cse5 (select .cse170 .cse5)))) (= |v_#memory_$Pointer$.offset_597_const_-1833315125| (store |v_#memory_$Pointer$.offset_598_const_-1833315126| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse171 .cse172 (select .cse173 .cse172)))) (= (store |v_#memory_$Pointer$.base_706_const_-344031309| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse174 .cse29 (select .cse175 .cse29))) |v_#memory_$Pointer$.base_705_const_-344031312|) (= |v_#memory_$Pointer$.base_708_const_-344031299| (store |v_#memory_$Pointer$.base_709_const_-344031300| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse176 .cse16 (select .cse177 .cse16)))) (= |v_#memory_int_580_const_-328415300| (store |v_#memory_int_581_const_-328415297| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse178 .cse26 (select (select |v_#memory_int_580_const_-328415300| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783) .cse26)))) (= |v_#memory_$Pointer$.base_716_const_-344031408| (store |v_#memory_$Pointer$.base_717_const_-344031405| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse179 .cse14 (select .cse140 .cse14)))) (= (store |v_#memory_int_738_const_-328409427| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store .cse180 .cse16 .cse17) .cse29 .cse114) .cse63 (select .cse80 .cse68)) .cse52 .cse78) .cse14 .cse15) .cse16 .cse17) .cse29 .cse114) .cse46 .cse181) .cse29 .cse114) .cse46 .cse181) .cse29 .cse114) .cse14 .cse15) .cse16 .cse17) .cse29 .cse114) .cse46 .cse181) .cse29 .cse114) .cse46 .cse181) .cse29 .cse114) .cse14 .cse15) .cse16 .cse17) .cse14 .cse15) .cse16 .cse17) .cse50 (select .cse77 .cse50))) |v_#memory_int_715_const_-328409374|) (= |v_#memory_$Pointer$.offset_657_const_-1833315434| (store |v_#memory_$Pointer$.offset_658_const_-1833315439| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse182 .cse14 (select .cse183 .cse14)))) (= (store |v_#memory_$Pointer$.base_618_const_-344038637| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse83 .cse1 (select .cse184 .cse1))) |v_#memory_$Pointer$.base_617_const_-344038640|) (= |v_#memory_$Pointer$.base_717_const_-344031405| (store |v_#memory_$Pointer$.base_718_const_-344031406| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse185 .cse52 (select .cse179 .cse52)))) (= |v_#memory_$Pointer$.base_590_const_-344037952| (store |v_#memory_$Pointer$.base_592_const_-344037950| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse186 .cse11 |v_DiskPerfReadWrite_#t~union251.Buffer.base_2_const_1160712228|) .cse27 (select .cse187 .cse27)))) (= |v_#memory_$Pointer$.base_631_const_-344039224| (store |v_#memory_$Pointer$.base_632_const_-344039221| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse188 .cse5 (select .cse189 .cse5)))) (= (store |v_#memory_int_610_const_-328416604| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse190 .cse5 |v_DiskPerfReadWrite_#t~union251.WhichSpace_2_const_431814860|) .cse11 (select .cse191 .cse11))) |v_#memory_int_608_const_-328416625|) (= |v_#memory_$Pointer$.base_574_const_-344038386| (store |v_#memory_$Pointer$.base_575_const_-344038391| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse192 .cse55 (select .cse193 .cse55)))) (= (store |v_#memory_int_686_const_-328416379| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (let ((.cse196 (select .cse80 .cse150))) (store (let ((.cse200 (select .cse80 .cse201))) (store (let ((.cse198 (store (store (store |v_DiskPerfReadWrite_#t~arrayCopy210_5_const_1982653782| 0 .cse15) 1 (select .cse80 .cse199)) 2 .cse200))) (store (store (store (store (store (store (store .cse194 .cse29 .cse114) .cse46 .cse181) .cse14 .cse15) .cse195 .cse196) .cse14 .cse15) .cse197 (select .cse198 0)) .cse107 (select .cse198 1))) .cse125 .cse200)) .cse195 .cse196)) .cse14 (select .cse202 .cse14))) |v_#memory_int_673_const_-328416293|) (= (store |v_#memory_$Pointer$.base_713_const_-344031401| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse203 .cse29 (select .cse45 .cse29))) |v_#memory_$Pointer$.base_712_const_-344031404|) (= (store |v_#memory_$Pointer$.base_668_const_-344039244| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse105 .cse46 (select .cse168 .cse46))) |v_#memory_$Pointer$.base_667_const_-344039243|) (= (store |v_#memory_$Pointer$.base_664_const_-344039256| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse124 .cse195 (select .cse204 .cse195))) |v_#memory_$Pointer$.base_663_const_-344039255|) (= v_DiskPerfReadWrite_~queueLen~0_2_const_-196487315 |v_DiskPerfReadWrite_#t~ret145_3_const_-1645504190|) (= (store |v_#memory_$Pointer$.base_659_const_-344039274| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse126 .cse195 (select .cse163 .cse195))) |v_#memory_$Pointer$.base_658_const_-344039273|) (= |v_#memory_int_619_const_-328416593| (store |v_#memory_int_620_const_-328416699| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse205 .cse11 (select .cse206 .cse11)))) (= |v_#memory_$Pointer$.offset_619_const_-1833315812| (store |v_#memory_$Pointer$.offset_621_const_-1833315787| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse207 .cse55 |v_DiskPerfReadWrite_#t~union239.FileObject.offset_2_const_-313271373|) .cse1 (select .cse60 .cse1)))) (= |v_#memory_$Pointer$.offset_633_const_-1833315372| (store |v_#memory_$Pointer$.offset_634_const_-1833315369| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse161 .cse68 (select .cse145 .cse68)))) (= |v_#memory_$Pointer$.offset_722_const_-1833308553| (store |v_#memory_$Pointer$.offset_723_const_-1833308554| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse147 .cse208 (select .cse64 .cse208)))) (= v_DiskPerfReadWrite_~timeStamp~0.base_2_const_834627020 v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783) (= |v_#memory_$Pointer$.offset_630_const_-1833315381| (store |v_#memory_$Pointer$.offset_631_const_-1833315382| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse209 .cse11 (select .cse94 .cse11)))) (= |v_#memory_$Pointer$.offset_628_const_-1833315790| (store |v_#memory_$Pointer$.offset_629_const_-1833315779| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse95 .cse26 (select .cse134 .cse26)))) (= |v_#memory_$Pointer$.offset_624_const_-1833315786| (store |v_#memory_$Pointer$.offset_625_const_-1833315791| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse210 .cse5 (select .cse211 .cse5)))) (= |v_#memory_$Pointer$.offset_710_const_-1833308588| (store |v_#memory_$Pointer$.offset_711_const_-1833308585| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse137 .cse29 (select .cse212 .cse29)))) (= |v_#memory_int_698_const_-328416348| (store |v_#memory_int_699_const_-328416345| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse24 .cse14 (select .cse213 .cse14)))) (= (store |v_#memory_$Pointer$.base_624_const_-344038604| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse214 .cse11 (select .cse40 .cse11))) |v_#memory_$Pointer$.base_623_const_-344038603|) (= |v_#memory_$Pointer$.offset_712_const_-1833308586| (store |v_#memory_$Pointer$.offset_713_const_-1833308591| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse215 .cse29 (select .cse136 .cse29)))) (= |v_#memory_$Pointer$.offset_690_const_-1833315571| (store |v_#memory_$Pointer$.offset_691_const_-1833315572| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse132 .cse16 (select .cse216 .cse16)))) (= |v_#memory_$Pointer$.offset_568_const_-1833314441| (store |v_#memory_$Pointer$.offset_570_const_-1833314548| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse217 .cse11 |v_DiskPerfReadWrite_#t~union260.DataPath.offset_2_const_-214382541|) .cse27 (select .cse218 .cse27)))) (= |v_#memory_int_660_const_-328416711| (store |v_#memory_int_661_const_-328416712| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse219 .cse16 (select .cse220 .cse16)))) (= |v_#memory_$Pointer$.offset_615_const_-1833315824| (store |v_#memory_$Pointer$.offset_617_const_-1833315822| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse156 .cse1 |v_DiskPerfReadWrite_#t~union239.__annonCompField19.DeleteHandle.offset_2_const_682202668|) .cse5 (select .cse221 .cse5)))) (= |v_#memory_$Pointer$.base_702_const_-344031305| (store |v_#memory_$Pointer$.base_703_const_-344031306| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse222 .cse14 (select .cse223 .cse14)))) (= |v_#memory_$Pointer$.offset_635_const_-1833315370| (let ((.cse224 (store |v_#memory_$Pointer$.offset_646_const_-1833315338| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store (store (store (store .cse225 .cse46 .cse226) .cse14 .cse65) .cse16 .cse227) .cse29 (select .cse228 .cse27)) .cse46 .cse226) .cse229 (select .cse228 .cse230)) .cse231 (select .cse228 .cse232)) .cse233 (select .cse228 .cse234)) .cse235 (select .cse228 .cse236))))) (store .cse224 v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (select .cse224 v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783) .cse5 |v_DiskPerfReadWrite_#t~union236.SecurityContext.offset_2_const_1381740362|) .cse11 (select .cse160 .cse11))))) (= |v_#memory_$Pointer$.base_583_const_-344038356| (store |v_#memory_$Pointer$.base_584_const_-344038353| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse57 .cse199 (select .cse237 .cse199)))) (= |v_#memory_$Pointer$.offset_668_const_-1833315402| (store |v_#memory_$Pointer$.offset_670_const_-1833315505| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse238 .cse16 .cse227) .cse29 (select .cse158 .cse29)))) (= |v_#memory_$Pointer$.offset_670_const_-1833315505| (store |v_#memory_$Pointer$.offset_675_const_-1833315510| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse155 .cse50 .cse51) .cse52 .cse239) .cse14 (select .cse238 .cse14)))) (= (store |v_#memory_int_743_const_-328409529| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (select |v_#memory_int_743_const_-328409529| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715) v_DiskPerfReadWrite_~nextIrpStack~0.offset_3_const_-1978008839 (select .cse80 v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011)) .cse101 (select .cse80 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 1))) .cse8 (select .cse80 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 2))) .cse208 (select .cse80 (+ v_DiskPerfReadWrite_~currentIrpStack~0.offset_3_const_-1731281011 3))) .cse14 (select .cse180 .cse14))) |v_#memory_int_738_const_-328409427|) (= |v_#memory_$Pointer$.offset_687_const_-1833315467| (store |v_#memory_$Pointer$.offset_689_const_-1833315465| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse240 .cse46 .cse226) .cse14 (select .cse241 .cse14)))) (= (store |v_#memory_$Pointer$.base_573_const_-344038385| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse242 .cse5 |v_DiskPerfReadWrite_#t~union259.AllocatedResources.base_2_const_2077265434|) .cse11 |v_DiskPerfReadWrite_#t~union259.AllocatedResourcesTranslated.base_2_const_1990804368|) .cse5 (select .cse243 .cse5))) |v_#memory_$Pointer$.base_570_const_-344038398|) (= |v_#memory_$Pointer$.offset_678_const_-1833315497| (store |v_#memory_$Pointer$.offset_685_const_-1833315477| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store .cse39 .cse16 .cse227) .cse14 .cse65) .cse16 .cse227) .cse14 .cse65) .cse16 .cse227) .cse14 (select .cse120 .cse14)))) (= (store |v_#memory_int_584_const_-328415304| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse244 .cse5 (select .cse245 .cse5))) |v_#memory_int_583_const_-328415303|) (= (store |v_#memory_int_660_const_-328416711| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse220 .cse29 (select .cse246 .cse29))) |v_#memory_int_659_const_-328416733|) (= (store |v_#memory_int_583_const_-328415303| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse245 .cse11 (select .cse247 .cse11))) |v_#memory_int_582_const_-328415298|) (= |v_#memory_$Pointer$.offset_708_const_-1833308481| (store |v_#memory_$Pointer$.offset_709_const_-1833308482| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse248 .cse16 (select .cse71 .cse16)))) (= (store |v_#memory_$Pointer$.base_574_const_-344038386| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse193 .cse27 (select .cse242 .cse27))) |v_#memory_$Pointer$.base_573_const_-344038385|) (= (store |v_#memory_$Pointer$.base_723_const_-344031372| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse9 .cse208 (select .cse148 .cse208))) |v_#memory_$Pointer$.base_722_const_-344031371|) (= (store |v_#memory_$Pointer$.base_704_const_-344031311| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse249 .cse29 (select .cse222 .cse29))) |v_#memory_$Pointer$.base_703_const_-344031306|) (= (store |v_#memory_$Pointer$.base_662_const_-344039250| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse250 .cse197 (select .cse106 .cse197))) |v_#memory_$Pointer$.base_661_const_-344039249|) (= |v_#memory_$Pointer$.offset_658_const_-1833315439| (store |v_#memory_$Pointer$.offset_659_const_-1833315440| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse251 .cse195 (select .cse182 .cse195)))) (<= |v_DiskPerfReadWrite_#t~ret145_3_const_-1645504190| 9223372036854775807) (= |v_#memory_$Pointer$.offset_719_const_-1833308577| (store |v_#memory_$Pointer$.offset_720_const_-1833308555| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse66 .cse29 (select .cse62 .cse29)))) (= |v_#memory_$Pointer$.offset_655_const_-1833315436| (store |v_#memory_$Pointer$.offset_657_const_-1833315434| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse183 .cse14 (select .cse252 .cse14)))) (= (store |v_#memory_$Pointer$.base_612_const_-344038635| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse99 .cse27 (select .cse253 .cse27))) |v_#memory_$Pointer$.base_611_const_-344038646|) (= (store |v_#memory_$Pointer$.offset_716_const_-1833308590| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse254 .cse16 (select .cse255 .cse16))) |v_#memory_$Pointer$.offset_715_const_-1833308589|) (= |v_#memory_$Pointer$.base_626_const_-344038602| (store |v_#memory_$Pointer$.base_627_const_-344038607| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse256 .cse26 (select .cse257 .cse26)))) (= |v_#memory_$Pointer$.base_697_const_-344039416| (store |v_#memory_$Pointer$.base_699_const_-344039414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse258 .cse50 .cse143) .cse52 (select .cse259 .cse52)))) (= |v_#memory_$Pointer$.offset_590_const_-1833315134| (store |v_#memory_$Pointer$.offset_592_const_-1833315124| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse260 .cse11 |v_DiskPerfReadWrite_#t~union251.Buffer.offset_2_const_-344774494|) .cse27 (select .cse261 .cse27)))) (= |v_#memory_$Pointer$.offset_625_const_-1833315791| (store |v_#memory_$Pointer$.offset_626_const_-1833315792| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse262 .cse27 (select .cse210 .cse27)))) (= |v_#memory_$Pointer$.offset_623_const_-1833315785| (store |v_#memory_$Pointer$.offset_624_const_-1833315786| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse211 .cse11 (select .cse263 .cse11)))) (= |v_#memory_$Pointer$.offset_576_const_-1833314550| (store |v_#memory_$Pointer$.offset_577_const_-1833314539| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse264 .cse11 (select .cse265 .cse11)))) (= |v_#memory_$Pointer$.base_704_const_-344031311| (store |v_#memory_$Pointer$.base_705_const_-344031312| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse175 .cse46 (select .cse249 .cse46)))) (= |v_#memory_$Pointer$.offset_613_const_-1833315818| (store |v_#memory_$Pointer$.offset_614_const_-1833315823| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse266 .cse5 (select .cse267 .cse5)))) (= |v_#memory_$Pointer$.offset_607_const_-1833315715| (store |v_#memory_$Pointer$.offset_608_const_-1833315716| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse268 .cse5 (select .cse269 .cse5)))) (= |v_#memory_$Pointer$.offset_600_const_-1833315724| (store |v_#memory_$Pointer$.offset_607_const_-1833315715| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store (store .cse269 .cse11 |v_DiskPerfReadWrite_#t~union243.SecurityDescriptor.offset_2_const_483461742|) .cse5 |v_DiskPerfReadWrite_#t~union244.Vpb.offset_2_const_1492039360|) .cse11 |v_DiskPerfReadWrite_#t~union244.DeviceObject.offset_2_const_-686815245|) .cse5 |v_DiskPerfReadWrite_#t~union245.Vpb.offset_2_const_986475873|) .cse11 |v_DiskPerfReadWrite_#t~union245.DeviceObject.offset_2_const_558083762|) .cse5 (select .cse270 .cse5)))) (= |v_#memory_int_689_const_-328416378| (store |v_#memory_int_690_const_-328416356| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse131 .cse14 (select .cse271 .cse14)))) (= (store |v_#memory_int_666_const_-328416313| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse88 .cse14 .cse15) .cse16 (select .cse113 .cse16))) |v_#memory_int_664_const_-328416315|) (= (store |v_#memory_$Pointer$.base_697_const_-344039416| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse259 .cse79 (select .cse152 .cse79))) |v_#memory_$Pointer$.base_696_const_-344039415|) (= (store |v_#memory_$Pointer$.base_663_const_-344039255| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse204 .cse14 (select .cse250 .cse14))) |v_#memory_$Pointer$.base_662_const_-344039250|) (= |v_#memory_int_657_const_-328416735| (store |v_#memory_int_658_const_-328416736| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse272 .cse229 (select .cse273 .cse229)))) (= (store |v_#memory_$Pointer$.base_583_const_-344038356| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse237 .cse201 (select .cse33 .cse201))) |v_#memory_$Pointer$.base_582_const_-344038355|) (= |v_#memory_$Pointer$.offset_686_const_-1833315478| (store |v_#memory_$Pointer$.offset_687_const_-1833315467| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse241 .cse16 (select .cse38 .cse16)))) (= |v_#memory_$Pointer$.offset_575_const_-1833314549| (store |v_#memory_$Pointer$.offset_576_const_-1833314550| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse265 .cse55 (select .cse54 .cse55)))) (= |v_#memory_$Pointer$.offset_592_const_-1833315124| (store |v_#memory_$Pointer$.offset_597_const_-1833315125| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse173 .cse55 |v_DiskPerfReadWrite_#t~union248.Interface.offset_2_const_-2080181035|) .cse1 |v_DiskPerfReadWrite_#t~union248.InterfaceSpecificData.offset_2_const_1247196849|) .cse5 (select .cse260 .cse5)))) (= |v_#memory_int_688_const_-328416377| (store |v_#memory_int_689_const_-328416378| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse271 .cse14 (select .cse274 .cse14)))) (= (store |v_#memory_$Pointer$.base_580_const_-344038365| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse151 .cse5 (select .cse127 .cse5))) |v_#memory_$Pointer$.base_579_const_-344038379|) (= |v_#memory_$Pointer$.base_615_const_-344038634| (store |v_#memory_$Pointer$.base_617_const_-344038640| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse184 .cse1 |v_DiskPerfReadWrite_#t~union239.__annonCompField19.DeleteHandle.base_2_const_-844916690|) .cse5 (select .cse275 .cse5)))) (= |v_#memory_$Pointer$.offset_587_const_-1833314518| (store |v_#memory_$Pointer$.offset_588_const_-1833314507| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse119 .cse5 (select .cse4 .cse5)))) (= |v_#memory_$Pointer$.offset_659_const_-1833315440| (store |v_#memory_$Pointer$.offset_660_const_-1833315410| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse276 .cse125 (select .cse251 .cse125)))) (= (store |v_#memory_int_673_const_-328416293| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store .cse202 .cse14 .cse15) .cse16 .cse17) .cse50 (select .cse80 .cse55)) .cse29 .cse114) .cse14 (select .cse87 .cse14))) |v_#memory_int_667_const_-328416314|) (= |v_#memory_int_661_const_-328416712| (store |v_#memory_int_662_const_-328416709| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse115 .cse14 (select .cse219 .cse14)))) (= |v_#memory_$Pointer$.base_713_const_-344031401| (store |v_#memory_$Pointer$.base_714_const_-344031402| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse277 .cse46 (select .cse203 .cse46)))) (= |v_#memory_$Pointer$.offset_648_const_-1833315344| (store |v_#memory_$Pointer$.offset_651_const_-1833315448| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse278 .cse14 .cse65) .cse16 .cse227) .cse14 (select .cse279 .cse14)))) (= |v_#memory_int_686_const_-328416379| (store |v_#memory_int_688_const_-328416377| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse274 .cse14 .cse15) .cse16 (select .cse194 .cse16)))) (= |v_#memory_int_611_const_-328416601| (store |v_#memory_int_612_const_-328416602| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse110 .cse5 (select .cse280 .cse5)))) (= |v_#memory_$Pointer$.offset_709_const_-1833308482| (store |v_#memory_$Pointer$.offset_710_const_-1833308588| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse212 .cse14 (select .cse248 .cse14)))) (= |v_#memory_int_616_const_-328416606| (store |v_#memory_int_618_const_-328416596| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse281 .cse5 (select .cse282 .cse5)))) (= (store |v_#memory_$Pointer$.base_701_const_-344031308| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse283 .cse14 (select .cse284 .cse14))) |v_#memory_$Pointer$.base_700_const_-344031307|) (= |v_#memory_$Pointer$.offset_589_const_-1833314508| (store |v_#memory_$Pointer$.offset_590_const_-1833315134| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse261 .cse26 (select .cse118 .cse26)))) (= (store |v_#memory_$Pointer$.base_657_const_-344039276| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse164 .cse14 (select .cse165 .cse14))) |v_#memory_$Pointer$.base_655_const_-344039286|) (= |v_#memory_$Pointer$.offset_651_const_-1833315448| (store |v_#memory_$Pointer$.offset_652_const_-1833315445| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse86 .cse29 (select .cse278 .cse29)))) (= |v_#memory_$Pointer$.base_630_const_-344039223| (store |v_#memory_$Pointer$.base_631_const_-344039224| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse189 .cse11 (select .cse31 .cse11)))) (= |v_#memory_$Pointer$.base_592_const_-344037950| (store |v_#memory_$Pointer$.base_597_const_-344037943| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse285 .cse55 |v_DiskPerfReadWrite_#t~union248.Interface.base_2_const_1073992983|) .cse1 |v_DiskPerfReadWrite_#t~union248.InterfaceSpecificData.base_2_const_876334579|) .cse5 (select .cse186 .cse5)))) (= |v_#memory_int_627_const_-328416702| (store |v_#memory_int_633_const_-328416665| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store (store .cse3 .cse5 |v_DiskPerfReadWrite_#t~union240.Length_2_const_1296941743|) .cse11 |v_DiskPerfReadWrite_#t~union240.FsInformationClass_2_const_-681174500|) .cse5 |v_DiskPerfReadWrite_#t~union241.OutputBufferLength_2_const_52933263|) .cse11 |v_DiskPerfReadWrite_#t~union241.InputBufferLength_2_const_669035890|) .cse27 |v_DiskPerfReadWrite_#t~union241.IoControlCode_2_const_-2109813314|) .cse26 (select .cse286 .cse26)))) (= |v_#memory_$Pointer$.offset_563_const_-1833314456| (store |v_#memory_$Pointer$.offset_568_const_-1833314441| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store .cse218 .cse26 |v_DiskPerfReadWrite_#t~union260.Buffer.offset_2_const_1599808580|) .cse5 |v_DiskPerfReadWrite_#t~union261.Argument1.offset_2_const_-542962745|) .cse11 |v_DiskPerfReadWrite_#t~union261.Argument2.offset_2_const_-739599640|) .cse27 |v_DiskPerfReadWrite_#t~union261.Argument3.offset_2_const_-935990903|) .cse26 |v_DiskPerfReadWrite_#t~union261.Argument4.offset_2_const_-1132496726|))) (= (let ((.cse287 (store |v_#memory_$Pointer$.base_646_const_-344039180| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store (store (store (store .cse112 .cse46 .cse123) .cse14 .cse149) .cse16 .cse104) .cse29 (select .cse288 .cse27)) .cse46 .cse123) .cse229 (select .cse288 .cse230)) .cse231 (select .cse288 .cse232)) .cse233 (select .cse288 .cse234)) .cse235 (select .cse288 .cse236))))) (store .cse287 v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (select .cse287 v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783) .cse5 |v_DiskPerfReadWrite_#t~union236.SecurityContext.base_2_const_898691276|) .cse11 (select .cse84 .cse11)))) |v_#memory_$Pointer$.base_635_const_-344039212|) (= (store |v_#memory_int_653_const_-328416731| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store .cse289 .cse11 |v_DiskPerfReadWrite_#t~union236.Options_2_const_1174282590|) .cse27 |v_DiskPerfReadWrite_#t~union236.FileAttributes_2_const_1895303401|) .cse68 |v_DiskPerfReadWrite_#t~union236.ShareAccess_2_const_1417168665|) .cse1 |v_DiskPerfReadWrite_#t~union236.EaLength_2_const_774490586|) .cse5 |v_DiskPerfReadWrite_#t~union237.Length_2_const_1718312375|) .cse11 |v_DiskPerfReadWrite_#t~union237.Key_2_const_1455200924|) .cse27 |v_DiskPerfReadWrite_#t~union237.ByteOffset.__annonCompField1.LowPart_2_const_1557124369|) .cse26 |v_DiskPerfReadWrite_#t~union237.ByteOffset.__annonCompField1.HighPart_2_const_1272673259|) .cse27 |v_DiskPerfReadWrite_#t~union237.ByteOffset.u.LowPart_2_const_-886067806|) .cse26 |v_DiskPerfReadWrite_#t~union237.ByteOffset.u.HighPart_2_const_-1451857478|) .cse27 |v_DiskPerfReadWrite_#t~union237.ByteOffset.QuadPart_2_const_604566414|) .cse5 |v_DiskPerfReadWrite_#t~union238.Length_2_const_1521658968|) .cse11 |v_DiskPerfReadWrite_#t~union238.FileInformationClass_2_const_-558462154|) .cse5 |v_DiskPerfReadWrite_#t~union239.Length_2_const_1325153145|) .cse11 |v_DiskPerfReadWrite_#t~union239.FileInformationClass_2_const_-625460201|) .cse55 (select .cse0 .cse55))) |v_#memory_int_637_const_-328416669|) (= (store |v_#memory_$Pointer$.base_651_const_-344039282| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse290 .cse14 .cse149) .cse16 .cse104) .cse14 (select .cse111 .cse14))) |v_#memory_$Pointer$.base_648_const_-344039178|) (= |v_#memory_$Pointer$.offset_653_const_-1833315446| (store |v_#memory_$Pointer$.offset_654_const_-1833315435| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse291 .cse50 (select .cse85 .cse50)))) (= |v_#memory_$Pointer$.offset_705_const_-1833308494| (store |v_#memory_$Pointer$.offset_706_const_-1833308483| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse292 .cse29 (select .cse293 .cse29)))) (= (store |v_#memory_$Pointer$.offset_695_const_-1833315576| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse139 .cse52 .cse239) .cse14 (select .cse73 .cse14))) |v_#memory_$Pointer$.offset_693_const_-1833315570|) (= |v_#memory_$Pointer$.base_600_const_-344038550| (store |v_#memory_$Pointer$.base_607_const_-344038541| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store (store .cse294 .cse11 |v_DiskPerfReadWrite_#t~union243.SecurityDescriptor.base_2_const_-787155760|) .cse5 |v_DiskPerfReadWrite_#t~union244.Vpb.base_2_const_1899929026|) .cse11 |v_DiskPerfReadWrite_#t~union244.DeviceObject.base_2_const_-2124560459|) .cse5 |v_DiskPerfReadWrite_#t~union245.Vpb.base_2_const_2029009059|) .cse11 |v_DiskPerfReadWrite_#t~union245.DeviceObject.base_2_const_-1913335244|) .cse5 (select .cse295 .cse5)))) (= (store |v_#memory_int_589_const_-328415417| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse296 .cse11 (select .cse89 .cse11))) |v_#memory_int_588_const_-328415420|) (= (store |v_#memory_$Pointer$.base_707_const_-344031310| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse297 .cse46 (select .cse174 .cse46))) |v_#memory_$Pointer$.base_706_const_-344031309|) (<= 0 (+ |v_DiskPerfReadWrite_#t~ret145_3_const_-1645504190| 9223372036854775808)) (= |v_#memory_$Pointer$.base_628_const_-344038608| (store |v_#memory_$Pointer$.base_629_const_-344038605| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse32 .cse26 (select .cse298 .cse26)))) (= |v_#memory_$Pointer$.offset_714_const_-1833308592| (store |v_#memory_$Pointer$.offset_715_const_-1833308589| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse255 .cse29 (select .cse299 .cse29)))) (= |v_#memory_int_595_const_-328415400| (store |v_#memory_int_608_const_-328416625| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store (store (store (store (store (store .cse191 .cse27 |v_DiskPerfReadWrite_#t~union251.Offset_2_const_906062946|) .cse26 |v_DiskPerfReadWrite_#t~union251.Length_2_const_-696639857|) .cse5 |v_DiskPerfReadWrite_#t~union254.DeviceTextType_2_const_-1221288517|) .cse150 |v_DiskPerfReadWrite_#t~union254.LocaleId_2_const_1133870531|) .cse5 |v_DiskPerfReadWrite_#t~union255.InPath_2_const_411990799|) .cse199 (select |v_DiskPerfReadWrite_#t~union255.Reserved_2_const_1667881577| 0)) .cse201 (select |v_DiskPerfReadWrite_#t~union255.Reserved_2_const_1667881577| 1)) .cse34 (select |v_DiskPerfReadWrite_#t~union255.Reserved_2_const_1667881577| 2)) .cse150 |v_DiskPerfReadWrite_#t~union255.Type_2_const_-366330337|) .cse5 (select .cse300 .cse5)))) (= |v_#memory_$Pointer$.base_689_const_-344039307| (store |v_#memory_$Pointer$.base_690_const_-344039421| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse301 .cse29 (select .cse122 .cse29)))) (= |v_#memory_$Pointer$.offset_689_const_-1833315465| (store |v_#memory_$Pointer$.offset_690_const_-1833315571| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse216 .cse29 (select .cse240 .cse29)))) (= |v_#memory_$Pointer$.offset_614_const_-1833315823| (store |v_#memory_$Pointer$.offset_615_const_-1833315824| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse221 .cse11 (select .cse266 .cse11)))) (= (store |v_#memory_int_586_const_-328415302| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse90 .cse27 |v_DiskPerfReadWrite_#t~union260.BufferSize_2_const_1592938194|) .cse26 (select .cse244 .cse26))) |v_#memory_int_584_const_-328415304|) (= (store |v_#memory_int_698_const_-328416348| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse213 .cse16 (select .cse96 .cse16))) |v_#memory_int_697_const_-328416347|) (= (store |v_#memory_$Pointer$.base_715_const_-344031407| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse141 .cse29 (select .cse277 .cse29))) |v_#memory_$Pointer$.base_714_const_-344031402|) (= (store |v_#memory_int_694_const_-328416360| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store .cse302 .cse16 .cse17) .cse154 (select .cse80 .cse172)) .cse50 (select .cse130 .cse50))) |v_#memory_int_691_const_-328416353|) (= |v_#memory_$Pointer$.base_619_const_-344038638| (store |v_#memory_$Pointer$.base_621_const_-344038613| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse12 .cse55 |v_DiskPerfReadWrite_#t~union239.FileObject.base_2_const_1755155317|) .cse1 (select .cse82 .cse1)))) (= |v_#memory_$Pointer$.base_678_const_-344039339| (store |v_#memory_$Pointer$.base_685_const_-344039319| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store (store (store (store (store .cse303 .cse16 .cse104) .cse14 .cse149) .cse16 .cse104) .cse14 .cse149) .cse16 .cse104) .cse14 (select .cse304 .cse14)))) (= (store |v_#memory_$Pointer$.base_710_const_-344031414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse30 .cse14 (select .cse176 .cse14))) |v_#memory_$Pointer$.base_709_const_-344031300|) (= |v_#memory_$Pointer$.base_692_const_-344039411| (store |v_#memory_$Pointer$.base_693_const_-344039412| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse305 .cse16 (select .cse306 .cse16)))) (= |v_#memory_int_654_const_-328416732| (store |v_#memory_int_655_const_-328416729| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse307 .cse235 (select (select |v_#memory_int_654_const_-328416732| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715) .cse235)))) (= (store |v_#memory_$Pointer$.offset_655_const_-1833315436| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse252 .cse16 (select .cse291 .cse16))) |v_#memory_$Pointer$.offset_654_const_-1833315435|) (= |v_#memory_$Pointer$.offset_663_const_-1833315413| (store |v_#memory_$Pointer$.offset_664_const_-1833315414| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse37 .cse195 (select .cse308 .cse195)))) (= |v_#memory_$Pointer$.offset_660_const_-1833315410| (store |v_#memory_$Pointer$.offset_661_const_-1833315415| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse309 .cse107 (select .cse276 .cse107)))) (= (store |v_#memory_$Pointer$.offset_702_const_-1833308495| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse129 .cse16 (select .cse138 .cse16))) |v_#memory_$Pointer$.offset_701_const_-1833308490|) (= (store |v_#memory_int_656_const_-328416730| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse310 .cse233 (select .cse307 .cse233))) |v_#memory_int_655_const_-328416729|) (= (store |v_#memory_int_616_const_-328416606| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse282 .cse11 |v_DiskPerfReadWrite_#t~union248.Size_2_const_-1963365444|) .cse172 |v_DiskPerfReadWrite_#t~union248.Version_2_const_-1247992093|) .cse55 (select .cse109 .cse55))) |v_#memory_int_613_const_-328416607|) (= |v_#memory_$Pointer$.base_676_const_-344039349| (store |v_#memory_$Pointer$.base_678_const_-344039339| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse304 .cse14 .cse149) .cse16 (select .cse311 .cse16)))) (= |v_#memory_$Pointer$.offset_662_const_-1833315416| (store |v_#memory_$Pointer$.offset_663_const_-1833315413| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse308 .cse14 (select .cse312 .cse14)))) (= (store |v_#memory_int_582_const_-328415298| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse247 .cse27 (select .cse178 .cse27))) |v_#memory_int_581_const_-328415297|) (= |v_#memory_$Pointer$.offset_716_const_-1833308590| (store |v_#memory_$Pointer$.offset_717_const_-1833308579| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse59 .cse14 (select .cse254 .cse14)))) (= (store |v_#memory_$Pointer$.base_598_const_-344037944| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse313 .cse172 (select .cse285 .cse172))) |v_#memory_$Pointer$.base_597_const_-344037943|) (= (store |v_#memory_$Pointer$.base_700_const_-344031307| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse284 .cse16 (select .cse258 .cse16))) |v_#memory_$Pointer$.base_699_const_-344039414|) (= |v_#memory_$Pointer$.offset_622_const_-1833315788| (store |v_#memory_$Pointer$.offset_623_const_-1833315785| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse263 .cse5 (select .cse314 .cse5)))) (= |v_#memory_$Pointer$.base_652_const_-344039287| (store |v_#memory_$Pointer$.base_653_const_-344039288| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse315 .cse50 (select .cse316 .cse50)))) (= |v_#memory_$Pointer$.base_691_const_-344039422| (store |v_#memory_$Pointer$.base_692_const_-344039411| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse306 .cse14 (select .cse317 .cse14)))) (= |v_#memory_int_620_const_-328416699| (store |v_#memory_int_621_const_-328416700| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse22 .cse5 (select .cse205 .cse5)))) (= (store |v_#memory_$Pointer$.base_570_const_-344038398| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse243 .cse11 |v_DiskPerfReadWrite_#t~union260.DataPath.base_2_const_-63727627|) .cse27 (select .cse25 .cse27))) |v_#memory_$Pointer$.base_568_const_-344038283|) (= |v_#memory_$Pointer$.offset_577_const_-1833314539| (store |v_#memory_$Pointer$.offset_579_const_-1833314537| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse318 .cse5 (select .cse264 .cse5)))) (= (store |v_#memory_$Pointer$.base_628_const_-344038608| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse298 .cse27 (select .cse256 .cse27))) |v_#memory_$Pointer$.base_627_const_-344038607|) (= |v_#memory_$Pointer$.offset_621_const_-1833315787| (store |v_#memory_$Pointer$.offset_622_const_-1833315788| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse314 .cse11 (select .cse207 .cse11)))) (= |v_#memory_$Pointer$.base_690_const_-344039421| (store |v_#memory_$Pointer$.base_691_const_-344039422| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse317 .cse16 (select .cse301 .cse16)))) (= |v_#memory_int_610_const_-328416604| (store |v_#memory_int_611_const_-328416601| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse280 .cse5 (select .cse190 .cse5)))) (= (store |v_#memory_int_595_const_-328415400| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store (store .cse300 .cse5 |v_DiskPerfReadWrite_#t~union258.SystemContext_2_const_1241829372|) .cse11 |v_DiskPerfReadWrite_#t~union258.Type_2_const_567261090|) .cse55 |v_DiskPerfReadWrite_#t~union258.State.DeviceState_2_const_1565768158|) .cse27 |v_DiskPerfReadWrite_#t~union258.ShutdownType_2_const_1503796652|) .cse5 (select .cse296 .cse5))) |v_#memory_int_589_const_-328415417|) (= |v_#memory_$Pointer$.base_693_const_-344039412| (store |v_#memory_$Pointer$.base_695_const_-344039410| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse153 .cse52 .cse144) .cse14 (select .cse305 .cse14)))) (= |v_#memory_$Pointer$.offset_570_const_-1833314548| (store |v_#memory_$Pointer$.offset_573_const_-1833314551| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store .cse44 .cse5 |v_DiskPerfReadWrite_#t~union259.AllocatedResources.offset_2_const_121501976|) .cse11 |v_DiskPerfReadWrite_#t~union259.AllocatedResourcesTranslated.offset_2_const_-1484117714|) .cse5 (select .cse217 .cse5)))) (= (store |v_#memory_$Pointer$.base_587_const_-344038360| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse319 .cse5 (select .cse320 .cse5))) |v_#memory_$Pointer$.base_586_const_-344038359|) (= (store |v_#memory_$Pointer$.base_615_const_-344038634| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse275 .cse11 (select .cse321 .cse11))) |v_#memory_$Pointer$.base_614_const_-344038633|) (= (store |v_#memory_int_696_const_-328416358| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse97 .cse14 (select .cse302 .cse14))) |v_#memory_int_694_const_-328416360|) (= |v_#memory_int_658_const_-328416736| (store |v_#memory_int_659_const_-328416733| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse246 .cse46 (select .cse272 .cse46)))) (= |v_#memory_$Pointer$.base_701_const_-344031308| (store |v_#memory_$Pointer$.base_702_const_-344031305| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse223 .cse16 (select .cse283 .cse16)))) (= |v_#memory_$Pointer$.offset_661_const_-1833315415| (store |v_#memory_$Pointer$.offset_662_const_-1833315416| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse312 .cse197 (select .cse309 .cse197)))) (= |v_#memory_$Pointer$.base_589_const_-344038358| (store |v_#memory_$Pointer$.base_590_const_-344037952| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse187 .cse26 (select .cse19 .cse26)))) (= |v_#memory_$Pointer$.base_587_const_-344038360| (store |v_#memory_$Pointer$.base_588_const_-344038357| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse20 .cse5 (select .cse319 .cse5)))) (= |v_#memory_$Pointer$.base_685_const_-344039319| (store |v_#memory_$Pointer$.base_686_const_-344039320| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse76 .cse14 (select .cse303 .cse14)))) (= |v_#memory_$Pointer$.offset_626_const_-1833315792| (store |v_#memory_$Pointer$.offset_627_const_-1833315789| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse135 .cse26 (select .cse262 .cse26)))) (= |v_#memory_$Pointer$.base_585_const_-344038354| (store |v_#memory_$Pointer$.base_586_const_-344038359| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse320 .cse150 (select .cse56 .cse150)))) (= |v_#memory_$Pointer$.offset_585_const_-1833314520| (store |v_#memory_$Pointer$.offset_586_const_-1833314517| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse6 .cse150 (select .cse322 .cse150)))) (= (store |v_#memory_$Pointer$.offset_707_const_-1833308484| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse72 .cse46 (select .cse292 .cse46))) |v_#memory_$Pointer$.offset_706_const_-1833308483|) (= |v_#memory_$Pointer$.offset_584_const_-1833314519| (store |v_#memory_$Pointer$.offset_585_const_-1833314520| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse322 .cse5 (select .cse323 .cse5)))) (= (store |v_#memory_$Pointer$.base_652_const_-344039287| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse316 .cse29 (select .cse290 .cse29))) |v_#memory_$Pointer$.base_651_const_-344039282|) (= (store |v_#memory_int_627_const_-328416702| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store (store (store .cse286 .cse5 |v_DiskPerfReadWrite_#t~union242.SecurityInformation_2_const_-1684745259|) .cse11 |v_DiskPerfReadWrite_#t~union242.Length_2_const_903782481|) .cse5 |v_DiskPerfReadWrite_#t~union243.SecurityInformation_2_const_-439977324|) .cse11 (select .cse70 .cse11))) |v_#memory_int_623_const_-328416698|) (= |v_#memory_int_618_const_-328416596| (store |v_#memory_int_619_const_-328416593| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse206 .cse5 (select .cse281 .cse5)))) (= (store |v_#memory_$Pointer$.offset_705_const_-1833308494| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse293 .cse46 (select .cse91 .cse46))) |v_#memory_$Pointer$.offset_704_const_-1833308493|) (= |v_#memory_$Pointer$.offset_611_const_-1833315820| (store |v_#memory_$Pointer$.offset_612_const_-1833315817| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse324 .cse27 (select .cse169 .cse27)))) (= (store |v_#memory_$Pointer$.offset_613_const_-1833315818| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse267 .cse11 (select .cse324 .cse11))) |v_#memory_$Pointer$.offset_612_const_-1833315817|) (= |v_#memory_$Pointer$.offset_581_const_-1833314516| (store |v_#memory_$Pointer$.offset_582_const_-1833314513| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse325 .cse34 (select .cse326 .cse34)))) (= |v_#memory_$Pointer$.offset_582_const_-1833314513| (store |v_#memory_$Pointer$.offset_583_const_-1833314514| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse327 .cse201 (select .cse325 .cse201)))) (= |v_#memory_$Pointer$.base_613_const_-344038636| (store |v_#memory_$Pointer$.base_614_const_-344038633| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse321 .cse5 (select .cse98 .cse5)))) (= |v_#memory_$Pointer$.base_724_const_-344031369| (store |v_#memory_$Pointer$.base_725_const_-344031370| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse157 .cse101 (select .cse7 .cse101)))) (= |v_#memory_$Pointer$.offset_665_const_-1833315403| (store |v_#memory_$Pointer$.offset_666_const_-1833315404| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse162 .cse14 (select .cse36 .cse14)))) (= |v_#memory_$Pointer$.base_653_const_-344039288| (store |v_#memory_$Pointer$.base_654_const_-344039285| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse166 .cse50 (select .cse315 .cse50)))) (= |v_#memory_$Pointer$.offset_580_const_-1833314515| (store |v_#memory_$Pointer$.offset_581_const_-1833314516| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse326 .cse150 (select .cse328 .cse150)))) (= |v_#memory_int_653_const_-328416731| (store |v_#memory_int_654_const_-328416732| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (select |v_#memory_int_654_const_-328416732| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783) .cse5 (select .cse289 .cse5)))) (= |v_#memory_$Pointer$.offset_713_const_-1833308591| (store |v_#memory_$Pointer$.offset_714_const_-1833308592| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse299 .cse46 (select .cse215 .cse46)))) (= |v_#memory_$Pointer$.base_625_const_-344038601| (store |v_#memory_$Pointer$.base_626_const_-344038602| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse257 .cse27 (select .cse329 .cse27)))) (= (store |v_#memory_$Pointer$.base_676_const_-344039349| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse311 .cse154 (select .cse142 .cse154))) |v_#memory_$Pointer$.base_675_const_-344039352|) (= |v_#memory_$Pointer$.offset_598_const_-1833315126| (store |v_#memory_$Pointer$.offset_600_const_-1833315724| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse270 .cse5 |v_DiskPerfReadWrite_#t~union248.InterfaceType.offset_2_const_-1878723121|) .cse11 (select .cse171 .cse11)))) (= (store |v_#memory_$Pointer$.base_633_const_-344039222| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse69 .cse1 (select .cse188 .cse1))) |v_#memory_$Pointer$.base_632_const_-344039221|) (= |v_#memory_$Pointer$.offset_646_const_-1833315338| (store |v_#memory_$Pointer$.offset_648_const_-1833315344| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store (store .cse279 .cse16 .cse227) .cse29 (select .cse225 .cse29)))) (= |v_#memory_$Pointer$.base_609_const_-344038531| (store |v_#memory_$Pointer$.base_611_const_-344038646| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse253 .cse26 |v_DiskPerfReadWrite_#t~union241.Type3InputBuffer.base_2_const_1870114356|) .cse5 (select .cse41 .cse5)))) (= (store |v_#memory_$Pointer$.base_625_const_-344038601| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse329 .cse5 (select .cse214 .cse5))) |v_#memory_$Pointer$.base_624_const_-344038604|) (= |v_#memory_int_656_const_-328416730| (store |v_#memory_int_657_const_-328416735| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse273 .cse231 (select .cse310 .cse231)))) (= |v_#memory_$Pointer$.base_598_const_-344037944| (store |v_#memory_$Pointer$.base_600_const_-344038550| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store (store .cse295 .cse5 |v_DiskPerfReadWrite_#t~union248.InterfaceType.base_2_const_1377981681|) .cse11 (select .cse313 .cse11)))) (= |v_#memory_$Pointer$.base_707_const_-344031310| (store |v_#memory_$Pointer$.base_708_const_-344031299| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse177 .cse29 (select .cse297 .cse29)))) (= |v_#memory_$Pointer$.base_718_const_-344031406| (store |v_#memory_$Pointer$.base_719_const_-344031395| v_DiskPerfReadWrite_~nextIrpStack~0.base_3_const_1739886715 (store .cse117 .cse63 (select .cse185 .cse63)))) (= |v_#memory_$Pointer$.offset_608_const_-1833315716| (store |v_#memory_$Pointer$.offset_609_const_-1833315713| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse170 .cse11 (select .cse268 .cse11)))) (= |v_#memory_$Pointer$.offset_579_const_-1833314537| (store |v_#memory_$Pointer$.offset_580_const_-1833314515| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse328 .cse5 (select .cse318 .cse5)))) (= |v_#memory_$Pointer$.base_607_const_-344038541| (store |v_#memory_$Pointer$.base_608_const_-344038542| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse42 .cse5 (select .cse294 .cse5)))) (= |v_#memory_$Pointer$.offset_631_const_-1833315382| (store |v_#memory_$Pointer$.offset_632_const_-1833315371| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse146 .cse5 (select .cse209 .cse5)))) (= |v_#memory_$Pointer$.offset_583_const_-1833314514| (store |v_#memory_$Pointer$.offset_584_const_-1833314519| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse323 .cse199 (select .cse327 .cse199)))) (= (store |v_#memory_$Pointer$.base_576_const_-344038392| v_DiskPerfReadWrite_~currentIrpStack~0.base_3_const_783712783 (store .cse167 .cse55 (select .cse192 .cse55))) |v_#memory_$Pointer$.base_575_const_-344038391|)))))
(check-sat)
(exit)