#include "haggis_private.h"
#include <stdio.h>

int main() {
    haggis_device dev;
    FILE *f;
    int ret;

    dev.major.val = 42;
    dev.minor.val = 69;
    f = fopen("output/device", "w");
    ret = haggis_store_device(f, &dev);
    fclose(f);
    return ret;
}