public static void serverSafepoint (int event) { VM_SysCall.gcspyMainServerSafepoint(server_, event); }
public static void serverSafepoint (int event) {}
  public static void serverSafepoint (int event) {    VM_SysCall.gcspyMainServerSafepoint(server_, event);  }