Ich bin mir nicht sicher, ob es sich um einen Bug handelt oder nicht, zur Not bitte sonst verschieben:
Im Manual steht im Eintrag zu digits, man könne mittels des Flags "0" vor [width] führenden Nullen erreichen. Dies scheint auch zu funktionieren, nicht jedoch für (str_)printf. Es wäre schön, wenn die für digits verfügbaren C-Zahlenformatierungs-Flags auch für vorige Ausgabefunktionen verfügbar würden.
void main() {
video_screen = 0;
printf("%06.0d",7);
}