/*
 * Program to read from binary file produced by write-binfile.
 */
#include <stdio.h>
#include <stdlib.h>

/* main program */
int main(int argc, char *argv[]) {
    if (argc != 2) {
        printf("usage:  %s infile\n", argv[0]);
        return 1;
    }
    FILE * infile = fopen(argv[1], "rb");
    if (infile == NULL) {
        printf("cannot open input file %s\n", argv[1]);
        return 1;
    }

    int num;
    while (fread(&num, sizeof(num), 1, infile) == 1) {
	    printf("%d\n", num);
    }
    fclose(infile);
    return 0;
}