y es un programa válido y puede ser compilado.