public static double sysLongToDouble(long x) { return 0; }
public static double sysLongToDouble(long x) { return VM_SysCallMagic.sysLongToDouble(VM_BootRecord.the_boot_record.sysLongToDoubleIP, x); }
  public static double sysLongToDouble(long x) { return 0; }