#include <stdint.h>
#define INTPTR_MIN                                    /* FIXME */       (-32767)

/*
STDC(199901)
*/