static boolean is_subsequent(char ch) { return is_initial(ch) || is_digit(ch) || is_special_subsequent(ch); }
static int is_subsequent(int c) { return is_initial(c) || isdigit(c) || is_special_subsequent(c); }