xc/doc/specs/ICE