5   subroutine check (x, y, l)  argument
7     logical :: l  local
8     l = l .or. x .ne. y
23     logical :: l  local
32     l = .false.
68     l = l .or. w(7:7) .ne. y
69     l = l .or. w(19:19) .ne. y
70     l = l .or. w(26:26) .ne. y
71     l = l .or. w(38:38) .ne. y
72     l = l .or. c .ne. w(8:19)
73     l = l .or. d .ne. w(1:7)
74     l = l .or. s .ne. w(20:26)
78 	  if (q .lt. 6) l = l .or. e(p, q, r) .ne. 5 * x + p + q + 2 * r
79 	  l = l .or. f(p, q, r) .ne. 25 * x + p + q + 2 * r
80 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. g(r, q) .ne. w(8:19)
81 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. g(r, q) .ne. w(27:38)
82 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. h(r, q) .ne. w(1:7)
83 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. h(r, q) .ne. w(20:26)
84 	  if (q .lt. 6) l = l .or. t(p, q, r) .ne. -10 + x + p - q + 2 * r
85 	  l = l .or. u(p, q, r) .ne. 30 - x - p + q - 2 * r
86 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. v(r, q) .ne. w(1:7)
87 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. v(r, q) .ne. w(20:26)
92 	  l = l .or. i(p - 2, q - 1, r) .ne. (7.5 + x) * p * q * r
93 	  l = l .or. j(p, q + 3, r + 6) .ne. (9.5 + x) * p * q * r
97 	l = l .or. k(p, 1, q - 3) .ne. 19 + x + p + 7 + 3 * q
99     call check (size (e, 1), 2, l)
100     call check (size (e, 2), 3, l)
101     call check (size (e, 3), 7, l)
102     call check (size (e), 42, l)
103     call check (size (f, 1), 2, l)
104     call check (size (f, 2), 5, l)
105     call check (size (f, 3), 7, l)
106     call check (size (f), 70, l)
107     call check (size (g, 1), 5, l)
108     call check (size (g, 2), 5, l)
109     call check (size (g), 25, l)
110     call check (size (h, 1), 5, l)
111     call check (size (h, 2), 5, l)
112     call check (size (h), 25, l)
113     call check (size (i, 1), 3, l)
114     call check (size (i, 2), 5, l)
115     call check (size (i, 3), 7, l)
116     call check (size (i), 105, l)
117     call check (size (j, 1), 4, l)
118     call check (size (j, 2), 5, l)
119     call check (size (j, 3), 7, l)
120     call check (size (j), 140, l)
121     call check (size (k, 1), 5, l)
122     call check (size (k, 2), 1, l)
123     call check (size (k, 3), 3, l)
124     call check (size (k), 15, l)
143     l = l .or. w(7:7) .ne. y
144     l = l .or. w(19:19) .ne. y
145     l = l .or. w(26:26) .ne. y
146     l = l .or. w(38:38) .ne. y
147     l = l .or. c .ne. w(8:19)
148     l = l .or. d .ne. w(1:7)
149     l = l .or. s .ne. w(20:26)
153 	  if (q .lt. 6) l = l .or. e(p, q, r) .ne. 5 * x + p + q + 2 * r
154 	  l = l .or. f(p, q, r) .ne. 25 * x + p + q + 2 * r
155 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. g(r, q) .ne. w(8:19)
156 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. g(r, q) .ne. w(27:38)
157 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. h(r, q) .ne. w(1:7)
158 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. h(r, q) .ne. w(20:26)
159 	  if (q .lt. 6) l = l .or. t(p, q, r) .ne. -10 + x + p - q + 2 * r
160 	  l = l .or. u(p, q, r) .ne. 30 - x - p + q - 2 * r
161 	  if (r .lt. 6 .and. q + r .le. 8) l = l .or. v(r, q) .ne. w(1:7)
162 	  if (r .lt. 6 .and. q + r .gt. 8) l = l .or. v(r, q) .ne. w(20:26)
167 	  l = l .or. i(p - 2, q - 1, r) .ne. (7.5 + x) * p * q * r
168 	  l = l .or. j(p, q + 3, r + 6) .ne. (9.5 + x) * p * q * r
172 	l = l .or. k(p, 1, q - 3) .ne. 19 + x + p + 7 + 3 * q
175     if (l) call abort