#include <stdio.h>
#include <syscall.h>

int
main (int argc, char *argv[])
{
  char read_buf[16] = {};

  int fd = open ("readme");
  if (fd == -1) {
    halt ();
  }
  printf("opened file with fd %d\n", fd);

  int n = read (fd, read_buf, 16);
  printf("read %d bytes:\n", n);

  halt();
  return 0;
}