(in-module "clojure")

(defn f0 ())

(defn f1 (x) x)

(defn* f01
       (())
       ((x) x))