| 
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||
Requires: length(stringRep(integer)) <= width Ensures: output = output^spaces^stringRep(integer) #spaces = width - length(stringRep(integer)) charCount = width + old CharCount
  | 
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||