#ifdef SVQC
#include "vampire.qc"
#endif