begin
real
REAL, INTEGER, BEGIN, END; REAL ≔ 0·0
end