1/* Include the headers we use in int_lib.h, to verify that they work. */ 2 3#include <limits.h> 4#include <stdint.h> 5#include <math.h> 6