static PyObject *Triton_convertExprToSymVar(PyObject *self, PyObject *args)
{
  PyObject *exprId, *symVarSize, *varComment = nullptr;
  uint64 vs, ei;
  std::string vc;

  /* Extract arguments */
  PyArg_ParseTuple(args, "O|O|O", &exprId, &symVarSize, &varComment);

  if (varComment == nullptr)
    varComment = PyString_FromString("");

  if (!PyLong_Check(exprId) && !PyInt_Check(exprId))
    return PyErr_Format(PyExc_TypeError, "convertExprToSymVar(): expected an integer as first argument");

  if (!PyLong_Check(symVarSize) && !PyInt_Check(symVarSize))
    return PyErr_Format(PyExc_TypeError, "convertExprToSymVar(): expected an integer as second argument");

  if (!PyString_Check(varComment))
      return PyErr_Format(PyExc_TypeError, "convertExprToSymVar(): expected a comment (string) as third argument");

  ei = PyLong_AsLong(exprId);
  vs = PyLong_AsLong(symVarSize);
  vc = PyString_AsString(varComment);

  return PySymbolicVariable(ap.convertExprToSymVar(ei, vs, vc));
}