Um comentário sobre “Olá, mundo!”