Update z7.hs