begin real X; integer I; array A[0 : 3]; I ≔ 0; for X ≔ 1·23, 2·34, 3·45 do begin A[I] ≔ X; I ≔ I + 1 end; end