defn main = { plus 320 6 }
defn plus x y = { x + y }