Exemplo bádico de PROCX