Another thing. Despite forcing there to be no type-check on the 'index', we emit (IF blah NIL NIL),
respectively (IF blah T T) by substituting -1 for 0.

* (disassemble '(lambda (x) (logbitp (truly-the unsigned-byte x) 0)))

; disassembly for (LAMBDA (X))
; Size: 43 bytes
; 03306B19:       488B55F8         MOV RDX, [RBP-8]           ; no-arg-parsing entry point
;       1D:       BF80000000       MOV EDI, 128
;       22:       B9FA030020       MOV ECX, 536871930         ; GENERIC-<
;       27:       FFD1             CALL RCX
;       29:       BA17001020       MOV EDX, 537919511
;       2E:       41BB17001020     MOV R11D, 537919511
;       34:       490F4CD3         CMOVL RDX, R11
;       38:       488BE5           MOV RSP, RBP
;       3B:       F8               CLC
;       3C:       5D               POP RBP
;       3D:       C3               RET