\(add \(a) \(a))\(def a 0 1)
