Considere este código: