Update a8.rkt