10Sstevel@tonic-gate--  Copyright 2010-2020 Free Software Foundation, Inc.
20Sstevel@tonic-gate--
30Sstevel@tonic-gate--  This program is free software; you can redistribute it and/or modify
40Sstevel@tonic-gate--  it under the terms of the GNU General Public License as published by
50Sstevel@tonic-gate--  the Free Software Foundation; either version 3 of the License, or
60Sstevel@tonic-gate--  (at your option) any later version.
70Sstevel@tonic-gate--
80Sstevel@tonic-gate--  This program is distributed in the hope that it will be useful,
90Sstevel@tonic-gate--  but WITHOUT ANY WARRANTY; without even the implied warranty of
100Sstevel@tonic-gate--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
110Sstevel@tonic-gate--  GNU General Public License for more details.
120Sstevel@tonic-gate--
130Sstevel@tonic-gate--  You should have received a copy of the GNU General Public License
140Sstevel@tonic-gate--  along with this program.  If not, see <http://www.gnu.org/licenses/>.
150Sstevel@tonic-gate
160Sstevel@tonic-gatewith Mixed;
170Sstevel@tonic-gate
180Sstevel@tonic-gateprocedure A is
190Sstevel@tonic-gatebegin
200Sstevel@tonic-gate   Mixed.Start_Test;
210Sstevel@tonic-gateend A;
220Sstevel@tonic-gate