sS agiBlue_concreteSliceOfMetaSlice(S metaSlice) {
  ret agiBlue_lookupInSlice(metaSlice, "concrete slice", "has ID");
}