add int.defs.h