#include <sys/types.h>

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

 typedef uint8_t ndis_80211_macaddr[6];

int
main(int argc __unused, char **argv __unused)
{
	int i;
	ndis_80211_macaddr m;

	for (i = 0; i < 6; i++)
		m[i] = i;
	printf("%6D", m, ":");
	exit(EXIT_SUCCESS);
}