%{
#include "smt/no_such_function_exception.h"
%}

%include "smt/no_such_function_exception.h"