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 <stdlib.h> 6 #include <stdio.h> 7