Artifacts of cdt-10.0 #40