return A : Integer do A := 3; end return