상수든 변수든 정수형(int)를 printf 로 자릿수를 맞춰서 출력 가능한가요?