#include <stdio.h>

#include "midl.h"
#include "idl.tab.h"

void set_uuid(char* uuid)
{
}

void set_version(int major, int minor)
{
}

void set_pointer_default(int option)
{
}