((/centaur/bitops/part-select.lisp::part-select-width-low (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (rdb logand) nil nil nil) ((x) nil (1-) (bsp ash) nil nil nil) ((width low x) nil (-) (ash) nil nil nil) ((width low) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/bitops/part-select.lisp::part-select-low-high (nil nil nil nil (part-select-width-low) nil nil) ((x low) nil nil (+) nil nil nil) (nil (1) nil (-) nil nil nil) ((high low) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))