VM_Address HIGH_SS_START = VM_Address.fromInt(0x92500000);
VM_Address HIGH_SS_START = VM_Address.fromIntZeroExtend(0x92500000);
  public void testTranslation() {    // trivial example    VM_Address HIGH_SS_START = VM_Address.fromInt(0x92500000);    testTranslation(HIGH_SS_START);    testTranslation(HIGH_SS_START.add(252));    testTranslation(HIGH_SS_START.sub(744));    VM_Interface.sysFail("bye from testTranslation");   }