de acuerdo con nuestro ejemplo 2.1, la función Main() cumple con el formato establecido: