printf auto padding