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