public static int sysWriteBytes(int fd, Address buf, int cnt) { return 0; }
public static int sysWriteBytes(int fd, Address buf, int cnt) { return VM_SysCallMagic.sysWriteBytes(VM_BootRecord.the_boot_record.sysWriteBytesIP, fd, buf, cnt); }
  public static int sysWriteBytes(int fd, Address buf, int cnt) { return 0; }