Did programmers just check the format specifications in the format string and/or test with max values to determine how many characters sprintf would output...