static int parseThirdIntOpt(S s) {
  ret toInt(getBigInt(extractIntsFromString(s), 2));
}