(def abc 123)