sbool isSquareBracketedInt(S s) {
  ret isSquareBracketed(s) && isInteger(deSquareBracket(s));
}