Rename defn to defprc