#include <Python.h>

static PyObject* py_veripy(PyObject* self, PyObject* args){

    /* BODY */
    return Py_BuildValue("i", 1);

}

// Bind Python function names to our C functions
static PyMethodDef veripy_methods[] = {
    {"veripy", py_veripy, METH_VARARGS},
    {NULL, NULL}
};

// Python calls this to let us initialize our module
extern "C" void initveripy(){
    (void) Py_InitModule("veripy", veripy_methods);
}