other
(in-package "BITSETS")
other
(include-book "bignum-extract")
other
(include-book "tools/include-raw" :dir :system)
other
(defttag bignum-extract)
other
(include-raw "bignum-extract-opt-raw.lsp" :host-readtable t)
other
(defttag nil)