Skip to content

Instantly share code, notes, and snippets.

@guicho271828
Created April 22, 2019 01:26
Show Gist options
  • Save guicho271828/a1414527df502eb659e137198bf6764d to your computer and use it in GitHub Desktop.
Save guicho271828/a1414527df502eb659e137198bf6764d to your computer and use it in GitHub Desktop.
Upgraded element type in CL implementations
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 1)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 2)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 3)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 4)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 5)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 6)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 7)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 9)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 10)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 11)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 12)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 13)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 14)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 15)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 17)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 18)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 19)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 20)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 21)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 22)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 23)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 24)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 25)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 26)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 27)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 28)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 29)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 30)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 31)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 33)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 34)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 35)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 36)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 37)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 38)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 39)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 40)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 41)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 42)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 43)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 44)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 45)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 46)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 47)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 48)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 49)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 50)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 51)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 52)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 53)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 54)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 55)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 56)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 57)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 58)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 59)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 60)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 61)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 62)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 63)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 64)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 1)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 2)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 3)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 4)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 5)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 6)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 7)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 8)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 9)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 10)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 11)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 12)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 13)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 14)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 15)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 16)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 17)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 18)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 19)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 20)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 21)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 22)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 23)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 24)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 25)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 26)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 27)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 28)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 29)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 30)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 31)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 32)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 33)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 34)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 35)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 36)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 37)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 38)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 39)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 40)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 41)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 42)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 43)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 44)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 45)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 46)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 47)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 48)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 49)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 50)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 51)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 52)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 53)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 54)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 55)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 56)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 57)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 58)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 59)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 60)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 61)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 62)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 63)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 64)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIO) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIONAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE REAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE BIGNUM) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE SHORT-FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE SINGLE-FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE DOUBLE-FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE LONG-FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIO)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIONAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX REAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX BIGNUM)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SHORT-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SINGLE-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX DOUBLE-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (BACKQ-LIST (QUOTE COMPLEX) TYPE)) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX LONG-FLOAT)) -> T
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 1)) -> (UNSIGNED-BYTE 1)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 2)) -> (UNSIGNED-BYTE 2)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 3)) -> (UNSIGNED-BYTE 3)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 4)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 5)) -> (UNSIGNED-BYTE 5)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 6)) -> (UNSIGNED-BYTE 6)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 7)) -> (UNSIGNED-BYTE 7)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 9)) -> (UNSIGNED-BYTE 9)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 10)) -> (UNSIGNED-BYTE 10)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 11)) -> (UNSIGNED-BYTE 11)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 12)) -> (UNSIGNED-BYTE 12)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 13)) -> (UNSIGNED-BYTE 13)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 14)) -> (UNSIGNED-BYTE 14)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 15)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 17)) -> (UNSIGNED-BYTE 17)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 18)) -> (UNSIGNED-BYTE 18)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 19)) -> (UNSIGNED-BYTE 19)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 20)) -> (UNSIGNED-BYTE 20)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 21)) -> (UNSIGNED-BYTE 21)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 22)) -> (UNSIGNED-BYTE 22)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 23)) -> (UNSIGNED-BYTE 23)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 24)) -> (UNSIGNED-BYTE 24)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 25)) -> (UNSIGNED-BYTE 25)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 26)) -> (UNSIGNED-BYTE 26)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 27)) -> (UNSIGNED-BYTE 27)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 28)) -> (UNSIGNED-BYTE 28)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 29)) -> (UNSIGNED-BYTE 29)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 30)) -> (UNSIGNED-BYTE 30)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 31)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 33)) -> (UNSIGNED-BYTE 33)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 34)) -> (UNSIGNED-BYTE 34)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 35)) -> (UNSIGNED-BYTE 35)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 36)) -> (UNSIGNED-BYTE 36)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 37)) -> (UNSIGNED-BYTE 37)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 38)) -> (UNSIGNED-BYTE 38)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 39)) -> (UNSIGNED-BYTE 39)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 40)) -> (UNSIGNED-BYTE 40)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 41)) -> (UNSIGNED-BYTE 41)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 42)) -> (UNSIGNED-BYTE 42)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 43)) -> (UNSIGNED-BYTE 43)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 44)) -> (UNSIGNED-BYTE 44)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 45)) -> (UNSIGNED-BYTE 45)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 46)) -> (UNSIGNED-BYTE 46)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 47)) -> (UNSIGNED-BYTE 47)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 48)) -> (UNSIGNED-BYTE 48)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 49)) -> (UNSIGNED-BYTE 49)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 50)) -> (UNSIGNED-BYTE 50)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 51)) -> (UNSIGNED-BYTE 51)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 52)) -> (UNSIGNED-BYTE 52)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 53)) -> (UNSIGNED-BYTE 53)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 54)) -> (UNSIGNED-BYTE 54)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 55)) -> (UNSIGNED-BYTE 55)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 56)) -> (UNSIGNED-BYTE 56)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 57)) -> (UNSIGNED-BYTE 57)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 58)) -> (UNSIGNED-BYTE 58)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 59)) -> (UNSIGNED-BYTE 59)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 60)) -> (UNSIGNED-BYTE 60)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 61)) -> (UNSIGNED-BYTE 61)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 62)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 63)) -> (UNSIGNED-BYTE 63)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 64)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 65)) -> (UNSIGNED-BYTE 65)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 1)) -> (SIGNED-BYTE 1)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 2)) -> (SIGNED-BYTE 2)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 3)) -> (SIGNED-BYTE 3)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 4)) -> (SIGNED-BYTE 4)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 5)) -> (SIGNED-BYTE 5)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 6)) -> (SIGNED-BYTE 6)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 7)) -> (SIGNED-BYTE 7)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 8)) -> (SIGNED-BYTE 8)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 9)) -> (SIGNED-BYTE 9)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 10)) -> (SIGNED-BYTE 10)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 11)) -> (SIGNED-BYTE 11)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 12)) -> (SIGNED-BYTE 12)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 13)) -> (SIGNED-BYTE 13)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 14)) -> (SIGNED-BYTE 14)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 15)) -> (SIGNED-BYTE 15)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 16)) -> (SIGNED-BYTE 16)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 17)) -> (SIGNED-BYTE 17)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 18)) -> (SIGNED-BYTE 18)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 19)) -> (SIGNED-BYTE 19)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 20)) -> (SIGNED-BYTE 20)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 21)) -> (SIGNED-BYTE 21)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 22)) -> (SIGNED-BYTE 22)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 23)) -> (SIGNED-BYTE 23)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 24)) -> (SIGNED-BYTE 24)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 25)) -> (SIGNED-BYTE 25)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 26)) -> (SIGNED-BYTE 26)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 27)) -> (SIGNED-BYTE 27)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 28)) -> (SIGNED-BYTE 28)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 29)) -> (SIGNED-BYTE 29)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 30)) -> (SIGNED-BYTE 30)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 31)) -> (SIGNED-BYTE 31)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 32)) -> (SIGNED-BYTE 32)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 33)) -> (SIGNED-BYTE 33)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 34)) -> (SIGNED-BYTE 34)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 35)) -> (SIGNED-BYTE 35)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 36)) -> (SIGNED-BYTE 36)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 37)) -> (SIGNED-BYTE 37)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 38)) -> (SIGNED-BYTE 38)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 39)) -> (SIGNED-BYTE 39)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 40)) -> (SIGNED-BYTE 40)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 41)) -> (SIGNED-BYTE 41)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 42)) -> (SIGNED-BYTE 42)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 43)) -> (SIGNED-BYTE 43)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 44)) -> (SIGNED-BYTE 44)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 45)) -> (SIGNED-BYTE 45)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 46)) -> (SIGNED-BYTE 46)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 47)) -> (SIGNED-BYTE 47)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 48)) -> (SIGNED-BYTE 48)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 49)) -> (SIGNED-BYTE 49)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 50)) -> (SIGNED-BYTE 50)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 51)) -> (SIGNED-BYTE 51)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 52)) -> (SIGNED-BYTE 52)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 53)) -> (SIGNED-BYTE 53)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 54)) -> (SIGNED-BYTE 54)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 55)) -> (SIGNED-BYTE 55)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 56)) -> (SIGNED-BYTE 56)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 57)) -> (SIGNED-BYTE 57)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 58)) -> (SIGNED-BYTE 58)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 59)) -> (SIGNED-BYTE 59)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 60)) -> (SIGNED-BYTE 60)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 61)) -> (SIGNED-BYTE 61)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 62)) -> (SIGNED-BYTE 62)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 63)) -> (SIGNED-BYTE 63)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 64)) -> (SIGNED-BYTE 64)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 65)) -> (SIGNED-BYTE 65)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIO) -> RATIO
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIONAL) -> RATIONAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE REAL) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE BIGNUM) -> BIGNUM
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE FLOAT) -> FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SHORT-FLOAT) -> SHORT-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE LONG-FLOAT) -> LONG-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 1)) -> BIT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 2)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 3)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 4)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 5)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 6)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 7)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 9)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 10)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 11)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 12)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 13)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 14)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 15)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 17)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 18)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 19)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 20)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 21)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 22)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 23)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 24)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 25)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 26)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 27)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 28)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 29)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 30)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 31)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 33)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 34)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 35)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 36)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 37)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 38)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 39)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 40)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 41)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 42)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 43)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 44)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 45)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 46)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 47)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 48)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 49)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 50)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 51)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 52)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 53)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 54)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 55)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 56)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 57)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 58)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 59)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 60)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 61)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 62)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 63)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 64)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 1)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 2)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 3)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 4)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 5)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 6)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 7)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 8)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 9)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 10)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 11)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 12)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 13)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 14)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 15)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 16)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 17)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 18)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 19)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 20)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 21)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 22)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 23)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 24)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 25)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 26)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 27)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 28)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 29)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 30)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 31)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 32)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 33)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 34)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 35)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 36)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 37)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 38)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 39)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 40)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 41)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 42)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 43)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 44)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 45)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 46)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 47)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 48)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 49)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 50)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 51)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 52)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 53)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 54)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 55)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 56)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 57)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 58)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 59)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 60)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 61)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 62)) -> (SIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 63)) -> (SIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 64)) -> (SIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIO) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIONAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE REAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE BIGNUM) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE SHORT-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE LONG-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIO)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIONAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX REAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX BIGNUM)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SHORT-FLOAT)) -> (COMPLEX SINGLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SINGLE-FLOAT)) -> (COMPLEX SINGLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX DOUBLE-FLOAT)) -> (COMPLEX DOUBLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE (LIST* 'COMPLEX (LIST TYPE))) -> (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX LONG-FLOAT)) -> (COMPLEX DOUBLE-FLOAT)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 1)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 2)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 3)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 4)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 5)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 6)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 7)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 8)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 9)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 10)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 11)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 12)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 13)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 14)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 15)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 16)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 17)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 18)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 19)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 20)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 21)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 22)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 23)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 24)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 25)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 26)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 27)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 28)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 29)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 30)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 31)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 32)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 33)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 34)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 35)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 36)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 37)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 38)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 39)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 40)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 41)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 42)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 43)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 44)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 45)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 46)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 47)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 48)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 49)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 50)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 51)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 52)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 53)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 54)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 55)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 56)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 57)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 58)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 59)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 60)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 61)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 62)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 63)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 64)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 65)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 1)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 2)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 3)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 4)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 5)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 6)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 7)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 8)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 9)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 10)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 11)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 12)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 13)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 14)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 15)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 16)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 17)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 18)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 19)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 20)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 21)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 22)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 23)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 24)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 25)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 26)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 27)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 28)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 29)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 30)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 31)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 32)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 33)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 34)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 35)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 36)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 37)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 38)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 39)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 40)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 41)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 42)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 43)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 44)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 45)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 46)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 47)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 48)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 49)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 50)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 51)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 52)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 53)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 54)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 55)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 56)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 57)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 58)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 59)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 60)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 61)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 62)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 63)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 64)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 65)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIO) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIONAL) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE REAL) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE BIGNUM) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE FLOAT) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SHORT-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE LONG-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 1)) -> BIT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 2)) -> (UNSIGNED-BYTE 2)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 3)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 4)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 5)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 6)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 7)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 9)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 10)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 11)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 12)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 13)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 14)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 15)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 17)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 18)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 19)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 20)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 21)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 22)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 23)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 24)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 25)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 26)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 27)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 28)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 29)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 30)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 31)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 33)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 34)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 35)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 36)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 37)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 38)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 39)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 40)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 41)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 42)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 43)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 44)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 45)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 46)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 47)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 48)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 49)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 50)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 51)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 52)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 53)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 54)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 55)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 56)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 57)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 58)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 59)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 60)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 61)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 62)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 63)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 64)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 1)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 2)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 3)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 4)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 5)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 6)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 7)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 8)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 9)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 10)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 11)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 12)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 13)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 14)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 15)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 16)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 17)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 18)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 19)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 20)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 21)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 22)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 23)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 24)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 25)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 26)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 27)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 28)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 29)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 30)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 31)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 32)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 33)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 34)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 35)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 36)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 37)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 38)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 39)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 40)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 41)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 42)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 43)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 44)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 45)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 46)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 47)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 48)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 49)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 50)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 51)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 52)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 53)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 54)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 55)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 56)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 57)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 58)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 59)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 60)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 61)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 62)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 63)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 64)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIO) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIONAL)
; -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE REAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE BIGNUM) ->
; T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SHORT-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE LONG-FLOAT)
; -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 65))) -> T
*
*
1
*
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 1)) -> BIT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 2)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 3)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 4)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 5)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 6)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 7)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 8)) -> BYTE8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 9)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 10)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 11)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 12)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 13)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 14)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 15)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 16)) -> BYTE16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 17)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 18)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 19)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 20)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 21)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 22)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 23)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 24)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 25)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 26)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 27)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 28)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 29)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 30)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 31)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 32)) -> BYTE32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 33)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 34)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 35)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 36)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 37)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 38)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 39)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 40)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 41)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 42)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 43)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 44)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 45)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 46)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 47)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 48)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 49)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 50)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 51)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 52)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 53)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 54)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 55)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 56)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 57)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 58)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 59)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 60)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 61)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 62)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 63)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 64)) -> BYTE64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 1)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 2)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 3)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 4)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 5)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 6)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 7)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 8)) -> INTEGER8
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 9)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 10)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 11)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 12)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 13)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 14)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 15)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 16)) -> INTEGER16
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 17)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 18)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 19)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 20)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 21)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 22)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 23)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 24)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 25)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 26)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 27)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 28)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 29)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 30)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 31)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 32)) -> INTEGER32
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 33)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 34)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 35)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 36)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 37)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 38)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 39)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 40)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 41)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 42)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 43)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 44)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 45)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 46)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 47)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 48)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 49)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 50)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 51)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 52)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 53)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 54)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 55)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 56)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 57)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 58)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 59)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 60)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 61)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 62)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 63)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 64)) -> INTEGER64
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIO) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIONAL)
; -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE REAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE BIGNUM) ->
; T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SHORT-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE LONG-FLOAT)
; -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIO)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIONAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX REAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX BIGNUM)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SHORT-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SINGLE-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX DOUBLE-FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE (QUASIQUOTE (COMPLEX #))) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX LONG-FLOAT)) -> T
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 1)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 2)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 3)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 4)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 5)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 6)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 7)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 8)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 9)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 10)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 11)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 12)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 13)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 14)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 15)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 16)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 17)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 18)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 19)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 20)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 21)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 22)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 23)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 24)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 25)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 26)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 27)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 28)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 29)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 30)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 31)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 32)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 33)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 34)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 35)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 36)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 37)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 38)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 39)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 40)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 41)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 42)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 43)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 44)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 45)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 46)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 47)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 48)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 49)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 50)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 51)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 52)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 53)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 54)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 55)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 56)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 57)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 58)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 59)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 60)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 61)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 62)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 63)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 64)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 65)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 1)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 2)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 3)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 4)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 5)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 6)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 7)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 8)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 9)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 10)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 11)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 12)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 13)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 14)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 15)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 16)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 17)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 18)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 19)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 20)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 21)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 22)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 23)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 24)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 25)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 26)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 27)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 28)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 29)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 30)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 31)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 32)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 33)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 34)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 35)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 36)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 37)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 38)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 39)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 40)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 41)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 42)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 43)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 44)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 45)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 46)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 47)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 48)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 49)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 50)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 51)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 52)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 53)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 54)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 55)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 56)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 57)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 58)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 59)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 60)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 61)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 62)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 63)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 64)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 65)) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIO) ->
; REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIONAL) ->
; REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE REAL) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE BIGNUM) ->
; REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE FLOAT) ->
; REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SHORT-FLOAT)
; -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SINGLE-FLOAT)
; -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE DOUBLE-FLOAT)
; -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE LONG-FLOAT)
; -> REAL
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 1)) -> BIT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 2)) -> (UNSIGNED-BYTE 2)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 3)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 4)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 5)) -> (UNSIGNED-BYTE 7)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 6)) -> (UNSIGNED-BYTE 7)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 7)) -> (UNSIGNED-BYTE 7)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 9)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 10)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 11)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 12)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 13)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 14)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 15)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 17)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 18)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 19)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 20)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 21)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 22)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 23)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 24)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 25)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 26)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 27)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 28)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 29)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 30)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 31)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 33)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 34)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 35)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 36)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 37)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 38)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 39)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 40)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 41)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 42)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 43)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 44)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 45)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 46)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 47)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 48)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 49)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 50)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 51)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 52)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 53)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 54)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 55)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 56)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 57)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 58)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 59)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 60)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 61)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 62)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 63)) -> (UNSIGNED-BYTE 63)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 64)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (UNSIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 1)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 2)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 3)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 4)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 5)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 6)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 7)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 8)) -> (SIGNED-BYTE 8)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 9)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 10)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 11)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 12)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 13)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 14)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 15)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 16)) -> (SIGNED-BYTE 16)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 17)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 18)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 19)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 20)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 21)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 22)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 23)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 24)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 25)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 26)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 27)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 28)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 29)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 30)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 31)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 32)) -> (SIGNED-BYTE 32)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 33)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 34)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 35)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 36)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 37)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 38)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 39)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 40)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 41)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 42)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 43)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 44)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 45)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 46)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 47)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 48)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 49)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 50)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 51)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 52)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 53)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 54)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 55)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 56)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 57)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 58)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 59)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 60)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 61)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 62)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 63)) -> FIXNUM
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 64)) -> (SIGNED-BYTE 64)
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (SIGNED-BYTE 65)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIO) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE RATIONAL)
; -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE REAL) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE BIGNUM) ->
; T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE FLOAT) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SHORT-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE SINGLE-FLOAT) -> SINGLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE DOUBLE-FLOAT) -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE TYPE) -> (UPGRADED-ARRAY-ELEMENT-TYPE LONG-FLOAT)
; -> DOUBLE-FLOAT
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (UNSIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 1))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 2))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 3))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 4))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 5))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 6))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 7))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 8))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 9))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 10))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 11))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 12))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 13))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 14))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 15))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 16))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 17))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 18))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 19))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 20))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 21))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 22))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 23))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 24))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 25))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 26))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 27))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 28))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 29))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 30))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 31))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 32))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 33))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 34))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 35))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 36))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 37))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 38))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 39))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 40))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 41))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 42))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 43))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 44))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 45))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 46))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 47))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 48))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 49))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 50))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 51))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 52))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 53))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 54))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 55))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 56))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 57))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 58))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 59))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 60))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 61))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 62))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 63))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 64))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX (SIGNED-BYTE 65))) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIO)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX RATIONAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX REAL)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX BIGNUM)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX FLOAT)) -> T
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SHORT-FLOAT)) -> (COMPLEX SINGLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX SINGLE-FLOAT)) -> (COMPLEX SINGLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX DOUBLE-FLOAT)) -> (COMPLEX DOUBLE-FLOAT)
; (UPGRADED-ARRAY-ELEMENT-TYPE `(COMPLEX ,TYPE)) ->
; (UPGRADED-ARRAY-ELEMENT-TYPE (COMPLEX LONG-FLOAT)) -> (COMPLEX DOUBLE-FLOAT)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 1)) -> BIT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 2)) -> (UNSIGNED-BYTE 2)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 3)) -> (UNSIGNED-BYTE 3)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 4)) -> (UNSIGNED-BYTE 4)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 5)) -> (UNSIGNED-BYTE 5)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 6)) -> (UNSIGNED-BYTE 6)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 7)) -> (UNSIGNED-BYTE 7)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 8)) -> (UNSIGNED-BYTE 8)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 9)) -> (UNSIGNED-BYTE 9)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 10)) -> (UNSIGNED-BYTE 10)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 11)) -> (UNSIGNED-BYTE 11)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 12)) -> (UNSIGNED-BYTE 12)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 13)) -> (UNSIGNED-BYTE 13)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 14)) -> (UNSIGNED-BYTE 14)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 15)) -> (UNSIGNED-BYTE 15)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 16)) -> (UNSIGNED-BYTE 16)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 17)) -> (UNSIGNED-BYTE 17)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 18)) -> (UNSIGNED-BYTE 18)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 19)) -> (UNSIGNED-BYTE 19)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 20)) -> (UNSIGNED-BYTE 20)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 21)) -> (UNSIGNED-BYTE 21)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 22)) -> (UNSIGNED-BYTE 22)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 23)) -> (UNSIGNED-BYTE 23)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 24)) -> (UNSIGNED-BYTE 24)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 25)) -> (UNSIGNED-BYTE 25)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 26)) -> (UNSIGNED-BYTE 26)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 27)) -> (UNSIGNED-BYTE 27)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 28)) -> (UNSIGNED-BYTE 28)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 29)) -> (UNSIGNED-BYTE 29)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 30)) -> (UNSIGNED-BYTE 30)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 31)) -> (UNSIGNED-BYTE 31)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 32)) -> (UNSIGNED-BYTE 32)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 33)) -> (UNSIGNED-BYTE 33)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 34)) -> (UNSIGNED-BYTE 34)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 35)) -> (UNSIGNED-BYTE 35)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 36)) -> (UNSIGNED-BYTE 36)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 37)) -> (UNSIGNED-BYTE 37)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 38)) -> (UNSIGNED-BYTE 38)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 39)) -> (UNSIGNED-BYTE 39)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 40)) -> (UNSIGNED-BYTE 40)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 41)) -> (UNSIGNED-BYTE 41)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 42)) -> (UNSIGNED-BYTE 42)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 43)) -> (UNSIGNED-BYTE 43)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 44)) -> (UNSIGNED-BYTE 44)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 45)) -> (UNSIGNED-BYTE 45)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 46)) -> (UNSIGNED-BYTE 46)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 47)) -> (UNSIGNED-BYTE 47)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 48)) -> (UNSIGNED-BYTE 48)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 49)) -> (UNSIGNED-BYTE 49)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 50)) -> (UNSIGNED-BYTE 50)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 51)) -> (UNSIGNED-BYTE 51)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 52)) -> (UNSIGNED-BYTE 52)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 53)) -> (UNSIGNED-BYTE 53)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 54)) -> (UNSIGNED-BYTE 54)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 55)) -> (UNSIGNED-BYTE 55)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 56)) -> (UNSIGNED-BYTE 56)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 57)) -> (UNSIGNED-BYTE 57)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 58)) -> (UNSIGNED-BYTE 58)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 59)) -> (UNSIGNED-BYTE 59)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 60)) -> (UNSIGNED-BYTE 60)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 61)) -> (UNSIGNED-BYTE 61)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 62)) -> (UNSIGNED-BYTE 62)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 63)) -> (UNSIGNED-BYTE 63)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 64)) -> (UNSIGNED-BYTE 64)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (UNSIGNED-BYTE 65)) -> (UNSIGNED-BYTE 65)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 1)) -> (INTEGER -1 0)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 2)) -> (SIGNED-BYTE 2)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 3)) -> (SIGNED-BYTE 3)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 4)) -> (SIGNED-BYTE 4)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 5)) -> (SIGNED-BYTE 5)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 6)) -> (SIGNED-BYTE 6)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 7)) -> (SIGNED-BYTE 7)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 8)) -> (SIGNED-BYTE 8)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 9)) -> (SIGNED-BYTE 9)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 10)) -> (SIGNED-BYTE 10)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 11)) -> (SIGNED-BYTE 11)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 12)) -> (SIGNED-BYTE 12)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 13)) -> (SIGNED-BYTE 13)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 14)) -> (SIGNED-BYTE 14)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 15)) -> (SIGNED-BYTE 15)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 16)) -> (SIGNED-BYTE 16)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 17)) -> (SIGNED-BYTE 17)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 18)) -> (SIGNED-BYTE 18)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 19)) -> (SIGNED-BYTE 19)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 20)) -> (SIGNED-BYTE 20)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 21)) -> (SIGNED-BYTE 21)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 22)) -> (SIGNED-BYTE 22)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 23)) -> (SIGNED-BYTE 23)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 24)) -> (SIGNED-BYTE 24)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 25)) -> (SIGNED-BYTE 25)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 26)) -> (SIGNED-BYTE 26)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 27)) -> (SIGNED-BYTE 27)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 28)) -> (SIGNED-BYTE 28)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 29)) -> (SIGNED-BYTE 29)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 30)) -> (SIGNED-BYTE 30)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 31)) -> (SIGNED-BYTE 31)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 32)) -> (SIGNED-BYTE 32)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 33)) -> (SIGNED-BYTE 33)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 34)) -> (SIGNED-BYTE 34)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 35)) -> (SIGNED-BYTE 35)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 36)) -> (SIGNED-BYTE 36)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 37)) -> (SIGNED-BYTE 37)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 38)) -> (SIGNED-BYTE 38)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 39)) -> (SIGNED-BYTE 39)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 40)) -> (SIGNED-BYTE 40)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 41)) -> (SIGNED-BYTE 41)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 42)) -> (SIGNED-BYTE 42)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 43)) -> (SIGNED-BYTE 43)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 44)) -> (SIGNED-BYTE 44)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 45)) -> (SIGNED-BYTE 45)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 46)) -> (SIGNED-BYTE 46)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 47)) -> (SIGNED-BYTE 47)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 48)) -> (SIGNED-BYTE 48)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 49)) -> (SIGNED-BYTE 49)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 50)) -> (SIGNED-BYTE 50)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 51)) -> (SIGNED-BYTE 51)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 52)) -> (SIGNED-BYTE 52)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 53)) -> (SIGNED-BYTE 53)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 54)) -> (SIGNED-BYTE 54)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 55)) -> (SIGNED-BYTE 55)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 56)) -> (SIGNED-BYTE 56)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 57)) -> (SIGNED-BYTE 57)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 58)) -> (SIGNED-BYTE 58)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 59)) -> (SIGNED-BYTE 59)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 60)) -> (SIGNED-BYTE 60)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 61)) -> (SIGNED-BYTE 61)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 62)) -> (SIGNED-BYTE 62)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 63)) -> FIXNUM
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 64)) -> (SIGNED-BYTE 64)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) ->
; (UPGRADED-COMPLEX-PART-TYPE (SIGNED-BYTE 65)) -> (SIGNED-BYTE 65)
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIO) ->
; RATIO
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE RATIONAL) ->
; RATIONAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE REAL) -> REAL
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE BIGNUM) ->
; BIGNUM
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE FLOAT) ->
; FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SHORT-FLOAT)
; -> SINGLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE SINGLE-FLOAT)
; -> SINGLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE DOUBLE-FLOAT)
; -> DOUBLE-FLOAT
; (UPGRADED-COMPLEX-PART-TYPE TYPE) -> (UPGRADED-COMPLEX-PART-TYPE LONG-FLOAT)
; -> DOUBLE-FLOAT
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment