add defrecords_from_lib