Effects:
Formats the contents of the parameter t
into characters placed on the output sequence s.
Formatting is controlled by the parameters format and modifier,
interpreted identically as the format specifiers in the string
argument to the standard library function
strftime()273,
except that the sequence of characters produced for those specifiers
that are described as depending on the C locale are instead implementation-defined.274