Use defn macro