#include "pxt.h"
#include "ManagedBuffer.h"

using namespace pxt;
MicroBitPin *getPin(int id);
typedef ImageData* Image;
typedef BufferData* Buffer;