#include <unistd.h>
#include <stdio.h>
#include <string.h>

int main()
{
  /* The kernel thinks that the vsyscall address is no good. */
  char buf[4096];
  memcpy(buf, (void *)0xffffffffff600000, 4096);
  int ret = write(1, buf, 4096);
  if (ret < 0) {
    perror("write");
    return 1;
  } else if (ret != 4096) {
    fprintf(stderr, "output truncated -- whoops\n");
    return 1;
  }

  return 0;
}