static int oneGigabyte_int() {
  ret 1024*1024*1024;
}