#include <inttypes.h>
REFERENCE(<stdint.h>)

/*
STDC(199901)
*/