#include <stdio.h>

#ifdef HAVE_CONFIG_H
# include <config.h>
#endif

#include "Eo.h"

#include "colourablesquare_stub.h"
#include "colourable.eo.h"
#include "colourablesquare.eo.h"
#include "colourablesquare.eo.c"