1279a22ab3a2a5c838b7e80d67cbc970b7c12bbd8Daniel Dunbar/* Include the headers we use in int_lib.h, to verify that they work. */ 2279a22ab3a2a5c838b7e80d67cbc970b7c12bbd8Daniel Dunbar 3279a22ab3a2a5c838b7e80d67cbc970b7c12bbd8Daniel Dunbar#include <limits.h> 4279a22ab3a2a5c838b7e80d67cbc970b7c12bbd8Daniel Dunbar#include <stdint.h> 5c25c6d10b18efa071f0016f31f6f3dd8a8fa6676Daniel Dunbar#include <stdlib.h> 6c25c6d10b18efa071f0016f31f6f3dd8a8fa6676Daniel Dunbar#include <stdio.h> 7