.def("__add__",
  [](const triton::ast::SharedAbstractNode& node1, const triton::ast::SharedAbstractNode& node2) {
    triton::ast::AstContext& ast = node1->getContext();
    return ast.bvadd(node1, node2);
  }, pybind11::is_operator())

.def("__add__",
  [](const triton::ast::SharedAbstractNode& node, pybind11::int_ o) {
    triton::ast::AstContext& ast = node->getContext();
    triton::uint512 value = PyLong_AsUint512(o.ptr());
    return ast.bvadd(node, ast.bv(value, node->getBitvectorSize()));
  }, pybind11::is_operator())

.def("__add__",
  [](pybind11::int_ o, const triton::ast::SharedAbstractNode& node) {
    triton::ast::AstContext& ast = node->getContext();
    triton::uint512 value = PyLong_AsUint512(o.ptr());
    return ast.bvadd(ast.bv(value, node->getBitvectorSize()), node);
  }, pybind11::is_operator())