sS agiBlue_postInSlice_pcall(S slice, S a, S b, S c) null on error {
  ret agiBlue_postInSlice(slice, a, b, c);
}