Update hai.rkt