
program SubPrg {

Declarations

	a := 4 -> Integer;

	subProgram sub1(b -> integer) :: integer
	{
	  Statements
		if (b > 0) then
		{
			pred(b);
			b = sub1(b);
			writeln(b);
		}

		return b+1;
	}


Statements

	a = sub1(a);
	writeLn(a);
}

