begin
   real X;
   integer I;
   I ≔ 10000000000000000000000000;
   X ≔ 1·0⏨999
end