(SETQ MICROCODE-DECLARATION-TABLE '(
(4 (SUSPEND-FLOW-TRACING)) 
(6 (SUSPEND-FLOW-TRACING)) 
(40 (CLOBBERS A-TEM1) (LOCAL A-COUNT-ILLOP-DEBUG)) 
(373 (VALUES A-2) (LOCAL A-FAKE-MICROSECOND-CLOCK)) 
(401 (LOCAL A-FAKE-MICROSECOND-CLOCK)) 
(433 (ARGS A-T) (VALUES A-LAM) (CLOBBERS A-TEM)) 
(442 (ARGS A-LAM) (CLOBBERS A-TEM)) 
(462 (ARGS A-TEM) (VALUES A-TEM)) 
(535 (SAVES (A-1 A-MICRO-FAULT-M-1) (A-2 A-MICRO-FAULT-M-2) (A-3 A-MICRO-FAULT-M-3) (VMA A-MICRO-FAULT-VMA) (MD A-MICRO-FAULT-MD) (PI A-MICRO-FAULT-PI) (A-TEM A-MICRO-FAULT-TEM))) 
(610 (RESTORES (A-1 A-MICRO-FAULT-M-1) (A-2 A-MICRO-FAULT-M-2) (A-3 A-MICRO-FAULT-M-3) (VMA A-MICRO-FAULT-VMA) (MD A-MICRO-FAULT-MD) (PI A-MICRO-FAULT-PI) (A-TEM A-MICRO-FAULT-TEM))) 
(721 (SUSPEND-FLOW-TRACING)) 
(3231 (CLOBBERS A-A)) 
(3232 (CLOBBERS A-A)) 
(3236 (ARGS A-1) (VALUES A-T)) 
(3337 (CLOBBERS A-ZR A-TEM A-TEM1)) 
(3341 (CLOBBERS A-ZR A-TEM A-TEM1)) 
(3655 (ARGS A-T) (CLOBBERS A-A A-B A-TEM A-E)) 
(3762 (ARGS A-T A-C) (CLOBBERS A-A A-D) (VALUES A-T)) 
(4006 (CLOBBERS A-1 A-TEM A-TEM1)) 
(4215 (CLOBBERS A-K)) 
(4314 (CLOBBERS A-TEM) (VALUES A-K)) 
(4327 (ARGS A-K) (CLOBBERS M-TEM)) 
(6144 (ARGS A-D)) 
(6364 (CLOBBERS M-TEM)) 
(6613 (ARGS A-K) (VALUES A-K)) 
(6616 (ARGS A-K) (VALUES A-K)) 
(6621 (ARGS A-K)) 
(7172 (ARGS A-S) (VALUES A-S)) 
(7176 (ARGS A-S) (VALUES A-S)) 
(10575 (ARGS A-T) (VALUES A-T)) 
(10615 (ARGS A-T) (VALUES A-T)) 
(10617 (ARGS A-T) (VALUES A-T)) 
(10625 (ARGS A-T) (VALUES A-T)) 
(10660 (ARGS A-T) (VALUES A-A A-T)) 
(10670 (ARGS A-T) (VALUES A-A A-T)) 
(10703 (ARGS A-T) (VALUES A-A A-T)) 
(15666 (ARGS A-1 A-2) (VALUES A-1) (CLOBBERS A-TEM1)) 
(16227 (VALUES A-1) (CLOBBERS A-I A-J)) 
(17625 (VALUES A-I A-1)) 
(17661 (ARGS A-I A-1) (VALUES A-I A-1)) 
(23275 (ARGS A-LAM) (VALUES A-TEM) (CLOBBERS A-TEM1 A-TEM3)) 
(40553 (CLOBBERS A-TEM) (ARGS A-ZR A-A A-B A-C A-D A-E A-T A-R A-Q A-I A-J A-S A-K A-1 A-2)) 
(40613 (ARGS A-TEM)) 
(40622 (ARGS A-TEM)) 
(40624 (CLOBBERS A-TEM) (VALUES A-2 A-1 A-K A-S A-J A-I A-Q A-R A-T A-E A-D A-C A-B A-A A-ZR)) 
(40663 (VALUES A-TEM)) 
(40665 (VALUES A-TEM)) 
(25522 (LOCAL A-MOUSE-X A-MOUSE-Y A-MOUSE-CURSOR-X-OFFSET A-MOUSE-CURSOR-Y-OFFSET A-MOUSE-CURSOR-WIDTH A-MOUSE-CURSOR-HEIGHT A-MOUSE-X-SPEED A-MOUSE-Y-SPEED A-MOUSE-BUTTONS-BUFFER-IN-INDEX A-MOUSE-BUTTONS-OUT-INDEX A-MOUSE-WAKEUP)) 
(26060 (CLOBBERS A-TEM)) 
(26061 (CLOBBERS A-TEM) (MUST-AVOID INTR)) 
(26070 (CLOBBERS A-TEM) (MUST-AVOID INTR)) 
(26077 (CLOBBERS A-TEM A-PGF-MODE) (MUST-AVOID INTR)) 
(26101 (CLOBBERS A-TEM A-PGF-MODE) (MUST-AVOID INTR)) 
(26103 (CLOBBERS A-TEM A-PGF-MODE) (MUST-AVOID INTR)) 
(26105 (CLOBBERS A-TEM A-PGF-MODE)) 
(26112 (CLOBBERS A-TEM A-PGF-MODE)) 
(26124 (CLOBBERS A-TEM A-PGF-MODE)) 
(26167 (LOCAL A-PDL-BUFFER-READ-FAULTS)) 
(26210 (LOCAL A-PDL-BUFFER-WRITE-FAULTS)) 
(26226 (LOCAL A-PDL-BUFFER-MEMORY-FAULTS)) 
(26254 (CLOBBERS A-PGF-VMA A-PGF-A A-PGF-B A-PGF-T) (SAVES (VMA A-PGF-VMA))) 
(26255 (CLOBBERS A-PGF-A A-PGF-B A-PGF-T) (SAVES (A-A A-PGF-A) (A-B A-PGF-B) (A-T A-PGF-T))) 
(26260 (RESTORES (A-A A-PGF-A) (A-B A-PGF-B) (A-T A-PGF-T))) 
(26263 (SAVES (A-PGF-VMA A-DISK-SAVE-PGF-VMA) (A-PGF-WMD A-DISK-SAVE-PGF-WMD) (A-PGF-T A-DISK-SAVE-PGF-T) (A-PGF-A A-DISK-SAVE-PGF-A) (A-PGF-B A-DISK-SAVE-PGF-B) (A-PGF-MODE A-DISK-SAVE-MODE) (A-1 A-DISK-SAVE-1) (A-2 A-DISK-SAVE-2))) 
(26273 (RESTORES (A-PGF-VMA A-DISK-SAVE-PGF-VMA) (A-PGF-WMD A-DISK-SAVE-PGF-WMD) (A-PGF-T A-DISK-SAVE-PGF-T) (A-PGF-A A-DISK-SAVE-PGF-A) (A-PGF-B A-DISK-SAVE-PGF-B) (A-PGF-MODE A-DISK-SAVE-MODE) (A-1 A-DISK-SAVE-1) (A-2 A-DISK-SAVE-2))) 
(26354 (CLOBBERS A-PGF-TEM) (VALUES A-A A-T)) 
(26402 (CLOBBERS A-LAM A-TEM A-TEM3 A-TEM1) (LOCAL A-PGF-T A-PGF-A A-PGF-B)) 
(26547 (CLOBBERS A-T A-TEM A-TEM3 A-TEM1 A-LAM)) 
(26710 (RESTORES (A-A A-PGF-A))) 
(26715 (RESTORES (A-B A-PGF-B))) 
(26721 (RESTORES (A-T A-PGF-T))) 
(27016 (CLOBBERS A-TEM A-LAM)) 
(27017 (CLOBBERS A-TEM A-LAM)) 
(27021 (CLOBBERS A-TEM A-LAM)) 
(27027 (RESTORES (A-A A-PGF-A) (A-B A-PGF-B))) 
(27036 (RESTORES (A-T A-PGF-T))) 
(27037 (ARGS A-T) (VALUES A-TEM3 A-T) (CLOBBERS A-TEM A-TEM1)) 
(27061 (LOCAL A-DISK-PAGE-READ-COUNT A-DISK-PAGE-WRITE-COUNT A-DISK-ERROR-COUNT A-DISK-FRESH-PAGE-COUNT A-DISK-SWAPIN-VIRTUAL-ADDRESS A-DISK-SWAP-IN-CCW-POINTER A-DISK-SWAPIN-SIZE A-DISK-READ-COMPARE-REWRITES A-DISK-ECC-COUNT A-DISK-READ-COMPARE-REREADS A-DISK-PAGE-READ-OP-COUNT A-DISK-PAGE-WRITE-OP-COUNT A-DISK-PAGE-WRITE-WAIT-COUNT A-DISK-PAGE-WRITE-BUSY-COUNT A-DISK-PAGE-WRITE-APPENDS A-DISK-PAGE-READ-APPENDS)) 
(27175 (VALUES A-B)) 
(27574 (VALUES A-1)) 
(27623 (VALUES A-T) (CLOBBERS A-TEM A-A)) 
(27624 (ARGS A-A) (VALUES A-T) (CLOBBERS A-TEM)) 
(30504 (CLOBBERS A-TEM)) 
(30607 (ARGS A-1) (CLOBBERS A-TEM1 A-2)) 
(31067 (SUSPEND-FLOW-TRACING)) 
(31111 (SAVES (VMA A-INTR-VMA) (MD A-INTR-MD) (A-A A-INTR-A) (A-B A-INTR-B) (A-T A-INTR-T)) (LOCAL A-FAKE-MICROSECOND-CLOCK)) 
(31407 (RESTORES (VMA A-INTR-VMA) (MD A-INTR-MD) (A-A A-INTR-A) (A-B A-INTR-B) (A-T A-INTR-T))) 
(31441 (ARGS A-B A-A) (CLOBBERS A-TEM A-LAM)) 
(31455 (ARGS A-A) (CLOBBERS A-TEM A-LAM) (VALUES A-B)) 
(31723 (CLOBBERS A-LAM)) 
(31744 (CLOBBERS A-LAM)) 
(31753 (CLOBBERS A-LAM)) 
(31775 (CLOBBERS A-LAM)) 
(32565 (CLOBBERS A-LAM A-TEM)) 
(32614 (SUSPEND-FLOW-TRACING)) 
(32615 (SUSPEND-FLOW-TRACING)) ))