#define KERNEL
#include "ixnet.h"
#include <stddef.h>
#include <stdio.h>

int main(int argc, char **argv)
{
  printf ("/* This header has been generated by the create_header tool.\n   DO NOT EDIT! */\n\n");

  printf ("#define IXNETBASE_SIZEOF (IXNETBASE_C_PRIVATE + %d)\n",
	  (int)(sizeof (struct ixnet_base) - offsetof (struct ixnet_base, ix_seg_list) - 4));
}