String length with printf