Utilizando a linguagem PHP, precisamos elaborar um código-fonte que defina uma constante identificada por INSTITUICAO e com valor IFSUL. Imediatamente após a declaração da constante, precisamos fazer com o que o código imprima o texto “Bem-vindo ao IFSUL”.

Considerando esses requisitos, qual dos códigos apresentados abaixo está correto?