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