* stdio-common/vfprintf.c (vfprintf): Slightly more compact code.