%{
#include "util/proof.h"
%}

%include "util/proof.h"