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

int main()
{
  char buf[1024];
  FILE * fp;

  fp = fopen("/dev/isaseat0", "ro");
  fgets(buf, 1024, fp);
  fgets(buf + strlen(buf) - 1, 1024, fp);
  fgets(buf + strlen(buf) - 1, 1024, fp);
  printf("%s", buf);
}