xmax             5500 maint/gnulib/lib/vasnprintf.c                               xmax (xsum (length,
xmax             5671 maint/gnulib/lib/vasnprintf.c                           xmax (xsum (length, count), xtimes (allocated, 2));
xmax             5704 maint/gnulib/lib/vasnprintf.c                                   xmax (xsum3 (length, count, pad),