/* Include the headers we use in int_lib.h, to verify that they work. */ #include <limits.h> #include <stdint.h> #include <stdlib.h> #include <stdio.h>