File psl-1983/3-1/tests/stubs2.red artifact 098674cfe9 part of check-in 79abca0c1b
% STUBS2.RED % just a dummy for now procedure Flag(x, y); List('dummy, 'flag, x,y); END;
% STUBS2.RED % just a dummy for now procedure Flag(x, y); List('dummy, 'flag, x,y); END;