{Teste ponto e virgula antes do fim opcional: ok}
programa test1;
var a,b,c: inteiro;
{proc 1}
procedimento analisa1;
var a, x: inteiro;
       z: booleano;
inicio
  se x>1  entao
      x:= 0;
  leia(z);
  enquanto (a <> 89) e (a<= 1000)  {condicao de parada}
  faca a:= x+z;
  escreva(a);
fim;
procedimento analisa2;
inicio
  leia(a);
  b:= a*a+(c div b) 
fim;
inicio
    analisa1;
    analisa2;
    se b > (c+ a*a)
    entao escreva(b)
    senao escreva(c)
fim.
{fim}