// A function, not a method.
(#fn add ((left #u64) (right #u64)) #u64
  (#return (#u64::add-wrap left right)))

(#fn main () #u64
  (#let answer #u64
    (#call add ((left 40u64) (right 2u64))))
  (#return answer))