(These two are already in wctype.h)