Forks of ICE8-State