//$Id$
#ifndef INTVEC_WRAP_HEADER
#define INTVEC_WRAP_HEADER
#include <vector>
#include "mod2.h"
#include "intvec.h"
#include "IIntvec.h"
void export_intvec();


#endif