static int maxInt() {
  ret maxIntValue();
}