Lo que, guardado con el nombre pertinente, generará esto en la salida estándar: