#ifndef _BITS_WCTYPE_H
#define _BITS_WCTYPE_H
#include <stdint.h>

#define __need_wint_t

#endif /* _BITS_WCTYPE_H */