function add/3
  \add(\1 \add(\2 \3))
end function
if \not(\equals(\add(1 2 3) 6))
  "" : 0
end if