+static inline void
+output_short_table (FILE *out,
+ const char *comment,
+ const char *table_name,
+ short *short_table,
+ short first_value,
+ short begin, short end)
+{
+ output_short_or_char_table (out, comment, "short", table_name, short_table,
+ first_value, begin, end);
+}
+
+