Update a.rkt