sO getIfIF0(O o) {
  ret getVarOpt(o);
}