This does not compile on guile 3.0.7,

(define (f . l)
  (let lp2 ((i 0) (s 0) (l l))
    (if (and (pair? l) (< i 64))
         (lp2 (+ i 1) (if (car l) (logior (ash 1 i) s) s) (cdr l))
         s)))

While compiling expression:
Throw to key `numerical-overflow' with args `("ash" "Numerical ove
rflow" #f #f)'.