BEGIN ~JOS01~

IF ~~ THEN BEGIN 0
  SAY @0
  IF ~~ THEN EXTERN ~JOSE01~ 1
END

IF ~~ THEN BEGIN 1
  SAY @1
  IF ~~ THEN EXTERN ~JOSE01~ 2
END

IF ~~ THEN BEGIN 2
  SAY @2
  IF ~~ THEN EXTERN ~JOSE01~ 3
END

IF ~~ THEN BEGIN 3
  SAY @3
  IF ~~ THEN EXTERN ~JOSE01~ 4
END
