public static int sysSyncFile(int fd) { return 0; }
public static int sysSyncFile(int fd) { return VM_SysCallMagic.sysSyncFile(VM_BootRecord.the_boot_record.sysSyncFileIP, fd); }
  public static int sysSyncFile(int fd) { return 0; }