../ htdp/ 04-Aug-2005 18:42 - turtles.ss 30-Jul-2005 14:54 121 value-turtles.ss 30-Jul-2005 14:54 139