docs: public SDVariable slice(String name, SDVariable input, int[] begin, int[] size) {
          SDVariable ret = f().slice(input, begin, size);
          return updateVariableNameAndReference(ret, name);
      }