Este código de arriba sería equivalente al siguiente código fuente: