static bool ai_inputIsAllUpperCase() {
  S s = cast ai_getVar("#input");
  if (s == null) fail("no input");
  ret countUpperCaseCharacters(s) >= 3
    && countLowerCaseCharacters(s) == 0;
}