Watermark Server
add2(42, 88) = {{ result1 }}
add3(42, 88, 64) = {{ result2 }}