static S vmID() {
  ret getVMID();
}