sO getHotspotVMOption(S optionName) {
  pcall-short {
    S MANAGEMENT_FACTORY_CLASS = "java.lang.management.ManagementFactory";
    S HOTSPOT_BEAN_CLASS = "com.sun.management.HotSpotDiagnosticMXBean";
  
    Class<?> beanClazz = Class.forName(HOTSPOT_BEAN_CLASS);
    O hotSpotBean = call(Class.forName(MANAGEMENT_FACTORY_CLASS), "getPlatformMXBean", beanClazz);
    if (hotSpotBean == null) null;
    O vmOption = call(hotSpotBean, "getVMOption", optionName);
    ret call(vmOption, "getValue");
  }
  
  null;
}