out_dec2
extern void out_dec2 PROTO ((const char *, int, int));
out_dec2(" {%4d,%4d },", element_v, element_n);