text: #include <lib.h>
  #define read	_read
  #include <unistd.h>
  
  PUBLIC ssize_t read(fd, buffer, nbytes)
  int fd;
  void *buffer;
  size_t nbytes;
  {
    message m;
  
    m.m1_i1 = fd;
    m.m1_i2 = nbytes;
    m.m1_p1 = (char *) buffer;
    return(_syscall(FS, READ, &m));
  }
  