addition with printf