Revised r7rs example