int.h added