\(def a 2 $0$1)\(a 1 2)
