#include <nonstd/types.h>
REFERENCE(stdint/intmax_t.c)