add readICCP2.hs