(def s["(def s%s)(printf(s 0)s)"])(printf(s 0)s)