printf("[%5d]\n", 123);   # Prints [  123]