conversion to tuple needed for C++ code