; disassembly for FACT
; Size: 125 bytes. Origin: #x52D9B348                         ; FACT
; 48:       498B5D10         MOV RBX, [R13+16]                ; thread.binding-stack-pointer
; 4C:       48895DF8         MOV [RBP-8], RBX
; 50:       488B5DF0         MOV RBX, [RBP-16]
; 54:       41B802000000     MOV R8D, 2
; 5A:       660F1F440000     NOP
; 60: L0:   48895DE8         MOV [RBP-24], RBX
; 64:       4C8945E0         MOV [RBP-32], R8
; 68:       BF02000000       MOV EDI, 2
; 6D:       488BD3           MOV RDX, RBX
; 70:       E83B5A36FF       CALL #x52100DB0                  ; GENERIC-=
; 75:       4C8B45E0         MOV R8, [RBP-32]
; 79:       488B5DE8         MOV RBX, [RBP-24]
; 7D:       743B             JEQ L1
; 7F:       4C8945E0         MOV [RBP-32], R8
; 83:       48895DE8         MOV [RBP-24], RBX
; 87:       BF02000000       MOV EDI, 2
; 8C:       488BD3           MOV RDX, RBX
; 8F:       E81C5836FF       CALL #x52100BB0                  ; GENERIC--
; 94:       488BF2           MOV RSI, RDX
; 97:       488975D8         MOV [RBP-40], RSI
; 9B:       488B5DE8         MOV RBX, [RBP-24]
; 9F:       4C8B45E0         MOV R8, [RBP-32]
; A3:       498BD0           MOV RDX, R8
; A6:       488BFB           MOV RDI, RBX
; A9:       E8625836FF       CALL #x52100C10                  ; GENERIC-*
; AE:       488B75D8         MOV RSI, [RBP-40]
; B2:       488BDE           MOV RBX, RSI
; B5:       4C8BC2           MOV R8, RDX
; B8:       EBA6             JMP L0
; BA: L1:   498BD0           MOV RDX, R8
; BD:       488BE5           MOV RSP, RBP
; C0:       F8               CLC
; C1:       5D               POP RBP
; C2:       C3               RET
; C3:       CC0F             BREAK 15                         ; Invalid argument count trap
NIL