reading symbolic information ...
const PI = 3.14159;
const N = 10;
const MESSAGE = 'this is a test';
const CH = 'x';
const R = RED;
p.R = RED
CH = 'x'
MESSAGE = 'this is a test'
N = 10
PI = 3.1415
program consttest (input, output);
const
PI = 3.14159;
N = 10;
MESSAGE = 'this is a test';
CH = 'x';
type
Color = (RED, BLUE, GREEN);
procedure p ;
const
R = RED;
type
T =
module main;
const
PI = 3.14159;
N = 10;
MESSAGE = "this is a test";
CH = 'x';
S = {1, 3, 5};
B = true;
type
Color = (RED, BLUE, GREEN);
procedure p ();
const
R = RED;
