Add the printf