static bool compressedOOPSEnabled_is64bitHotSpot;
static bool compressedOOPSEnabled_compressedOOPS;
static bool compressedOOPSEnabled_checked;

sbool compressedOOPSEnabled() {
  if (compressedOOPSEnabled_checked) ret compressedOOPSEnabled_compressedOOPS;
  
  S OS_ARCH = System.getProperty("os.arch");
  S MANAGEMENT_FACTORY_CLASS = "java.lang.management.ManagementFactory";
  S HOTSPOT_BEAN_CLASS = "com.sun.management.HotSpotDiagnosticMXBean";

  S x = System.getProperty("sun.arch.data.model");
  bool is64Bit = contains(or(x, OS_ARCH), "64");
    
  if (is64Bit) {
    compressedOOPSEnabled_is64bitHotSpot = true;
    compressedOOPSEnabled_compressedOOPS =
      !eq("false", getHotspotVMOption("UseCompressedOops"));
  }
  
  compressedOOPSEnabled_checked = true;
  ret compressedOOPSEnabled_compressedOOPS;
}