#include <sys/socket.h>
#include <sys/ioctl.h>

#if __LONG_MAX == 0x7fffffff
#define OP !=
#else
#define OP ==
#endif

#define sizeof(x) 16

#if \
SO_RCVTIMEO OP 66 || \
SO_SNDTIMEO OP 67 || \
SO_TIMESTAMP OP 63 || \
SO_TIMESTAMPNS OP 64 || \
SO_TIMESTAMPING OP 65 || \
SIOCGSTAMP OP _IOR(0x89, 6, char[16]) || \
SIOCGSTAMPNS OP _IOR(0x89, 7, char[16]) || \
0
#error bad time64 macros
#endif