// generated file; do not modify
#include "vampire.qc"