static int getVMPort() {
  ret myVMPort();
}