add defs.h