Tuple encoding CSHARP-135