(time
 (let loop ((x 0))
   (assume ((x fixnum))
    (if (= x 100000000)
       x
       (begin
         (+ x x)
         (loop (+ x 1)))))))