/* Check for the presence of stdint.h */
#include <stdint.h>

int main()
{
    return 0;
}