- char paper_width[INT_DIGITS + 1];
- char paper_length[INT_DIGITS + 1];
- char left_margin[INT_DIGITS + 1];
- char top_margin[INT_DIGITS + 1];
- char line_width[INT_DIGITS + 1];
- char line_width_thick[INT_DIGITS + 1];
+ char paper_width[INT_STRLEN_BOUND (int) + 1];
+ char paper_length[INT_STRLEN_BOUND (int) + 1];
+ char left_margin[INT_STRLEN_BOUND (int) + 1];
+ char top_margin[INT_STRLEN_BOUND (int) + 1];
+ char line_width[INT_STRLEN_BOUND (int) + 1];
+ char line_width_thick[INT_STRLEN_BOUND (int) + 1];