Update htdp.ss