/*
 * This program emits a binary file containing one EFR DHF.
 */

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

extern const uint8_t efr_dhf_bytes[31];

main(argc, argv)
	char **argv;
{
	FILE *outf;

	if (argc != 2) {
		fprintf(stderr, "usage: %s out-bin-file\n", argv[0]);
		exit(1);
	}
	outf = fopen(argv[1], "w");
	if (!outf) {
		perror(argv[1]);
		exit(1);
	}
	fwrite(efr_dhf_bytes, 1, 31, outf);
	fclose(outf);
	exit(0);
}