Add alldefs/1