#ifndef _BITS_WCTYPE_H
#define _BITS_WCTYPE_H

#define __need_wint_t

#include <stdint.h>

#endif /* _BITS_WCTYPE_H */