static S vmIDString() {
  ret "This is a JavaX VM";
}