/* 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>