The formatted date is copied into a fixed size buffer. When the resulting date string is 32 bytes or more, the buffer will overflow. This will likely never happen unless some strange locale has long month and day abbreviations.
No example code for this one.
Vermont Department of Taxes
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.2
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
Texts. A copy of the license is included in the section entitled "GNU
Free Documentation License".