Update utils.rkt