static int maxIntValue() {
  ret Int.MAX_VALUE;
}