A prototype, now defunct testing framework for BRM, written in C++