Checking in bitops/logbitp-bounds.lisp on Anna's behalf