#include <stdio.h>
#include <stdlib.h>
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include "wvexporter-priv.h"

void
wvPutATRD (ATRD * item, wvStream * fd)
{
    int i;
    for (i = 0; i < 10; i++)
	write_16ubit (fd, item->xstUsrInitl[i]);

    write_16ubit (fd, (U16) item->ibst);
    write_16ubit (fd, item->ak);
    write_16ubit (fd, item->grfbmc);
    write_32ubit (fd, (U32) item->lTagBkmk);
}