public static int sysDoubleToInt(double x) { return 0; }
public static int sysDoubleToInt(double x) { return VM_SysCallMagic.sysDoubleToInt(VM_BootRecord.the_boot_record.sysDoubleToIntIP, x); }
  public static int sysDoubleToInt(double x) { return 0; }