svoid agiBlue_setConcreteSlice(S metaSlice, S concreteSlice) {
  agiBlue_postInSlice(metaSlice, "concrete slice", "has ID", concreteSlice);
}