Either I missed this class in Elementary Programming, or perhaps Mary-Jane had her see-through blouse on, but I'm at a loss for this: What format string would I use (eg., in a printf() call) to right-justify a number with blank fill?

For example, if the number is 12 and I have a 4-character field, I want to print " 12".