const Z x = Z(2)^^100; const Z y = 12; assert(add(x, Z(12)) == // l-value, r-value add(Z(12), x)); // r-value, l-value assert(add(x, y) == // l-value, l-value add(Z(2)^^100, Z(12))); // r-value, r-value assert(add(Z(12), Z(2)^^100) == // r-value, r-value add(Z(2)^^100, Z(12))); // r-value, r-value
Get sum of x and y (x + y).