Update RC5.hs