1import "imported-example.circuit"
2
3func main(private s0, public s1):
4	s3 = exp3(s0)
5	s4 = sum(s3, s0)
6	s5 = s4 + 5
7	equals(s1, s5)
8	out = 1 * 1