FUNCTION half1(x:number):number;
BEGIN
If (pred(x) = zero) then zero;
If ((pred(x) != zero) And (x != zero) ) then succ(half1(pred(pred(x))));
End.

