sS winograd_takeOption(int i, S s) {
  if (i == 1) ret winograd_takeFirstOption(s);
  if (i == 2) ret winograd_takeSecondOption(s);
  fail(str(i));
}