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