{ This program is correct wrt the CF grammar } program yetanothertest; var a: real; function foo(c,b: integer): integer; var foo: integer; { foo is already declared as a function } begin foo := readinteger end; begin a := 0 end.