La sección anterior podría dar como resultado el siguiente ejemplo en código de alto nivel: