from nada_dsl import *

def nada_main():

data_owner = Party(name="data_owner")

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

# Permitted.

a = x + Integer(123) + Integer(456)

b = x + Integer(123 + 456)

# Not permitted.

c = x + 123 + 456

d = x + 123

return [Output(a, "a", data_owner), Output(b, "b", data_owner)]