printf "%d %02d\n", 1, 2;