FCC software, common to FCC-hh, -ee, and -eh.