trace("¡Hola, mundo!");