public static void sysWriteDouble(double value, int postDecimalDigits) {}
public static void sysWriteDouble(double value, int postDecimalDigits) { VM_SysCallMagic.sysWriteDouble(VM_BootRecord.the_boot_record.sysWriteDoubleIP, value, postDecimalDigits); }
  public static void sysWriteDouble(double value, int postDecimalDigits) {}