updated defs.h