add the printf