Prototipo de printf