from nada_dsl import *

def total(x: SecretInteger, y: SecretInteger, z: SecretInteger) -> SecretInteger:

return x + y + z

def nada_main():

data_owner = Party(name="data_owner")

x = SecretInteger(Input(name="x", party=data_owner))

y = SecretInteger(Input(name="y", party=data_owner))

z = SecretInteger(Input(name="z", party=data_owner))

t = total(x, y, z)

return [Output(t, "t", data_owner)]