setw in c
char print_format[] = "%5d"; printf(print_format, 42);
Annoying Armadillo
char print_format[] = "%5d"; printf(print_format, 42);