static int oneBillion_int() {
  ret 1000000000;
}