Update utf8_024.hs