(defun bar () (ftruncate (random 4294967087d0))) Was not correctly handling the derivation of the second result.