../ htdp/ 11-Aug-2005 21:01 - turtles.ss 08-Aug-2005 23:26 121 value-turtles.ss 08-Aug-2005 23:26 139