static S getVMID() {
  ret (S) get(getJavaX(), "vmID");
}