Artifacts of cdt-10.0 #25