File psl-1983/3-1/tests/stubs2.red artifact 098674cfe9 part of check-in 255e9d69e6
% 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;