#include <stdint.h>
#define PTRDIFF_MIN                                   /* FIXME */       (-65535)

/*
STDC(199901)
*/