Under certain circumstances, v7 printf prints extra leading zeros,
as in the example below. Does anyone have a fix for this?
Script started on Fri Aug 22 20:57:20 1980
% cat foo.c
#include <stdio.h>
main()
{
printf("%1.1d:%02.2d\n", 3, 14);
}
% foo
03:014
%
script done on Fri Aug 22 20:57:33 1980