#include <sys/stat.h>
#define S_ISVTX                                                            01000

/*
XOPEN(400)
*/