1reading symbolic information ... 2type BigEnum = (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12, C13, C14, C15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, F1, F2, F3, F4, F5, F6, F7, F8, F9, F10, F11, F12, F13, F14, F15, G1, G2, G3, G4, G5, G6, G7, G8, G9, G10, G11, G12, G13, G14, G15, H1, H2, H3, H4, H5, H6, H7, H8, H9, H10, H11, H12, H13, H14, H15, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, J1, J2, J3, J4, J5, J6, J7, J8, J9, J10, J11, J12, J13, J14, J15, K1, K2, K3, K4, K5, K6, K7, K8, K9, K10, K11, K12, K13, K14, K15, L1, L2, L3, L4, L5, L6, L7, L8, L9, L10, L11, L12, L13, L14, L15, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15, O1, O2, O3, O4, O5, O6, O7, O8, O9, O10, O11, O12, O13, O14, O15, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, Q1, Q2, Q3, Q4, Q5, Q6, Q7, Q8, Q9, Q10, Q11, Q12, Q13, Q14, Q15, R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, S1, S2, S3, S4, S5, S6, S7, S8, S9, S10, S11, S12, S13, S14, S15, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, W1, W2, W3, W4, W5, W6, W7, W8, W9, W10, W11, W12, W13, W14, W15, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, Y1, Y2, Y3, Y4, Y5, Y6, Y7, Y8, Y9, Y10, Y11, Y12, Y13, Y14, Y15, Z1, Z2, Z3, Z4, Z5, Z6, Z7, Z8, Z9, Z10, Z11, Z12, Z13, Z14, Z15); 3type BigRec = record 4 A1 : integer; 5 A2 : integer; 6 A3 : integer; 7 A4 : integer; 8 A5 : integer; 9 A6 : integer; 10 A7 : integer; 11 A8 : integer; 12 A9 : integer; 13 A10 : integer; 14 A11 : integer; 15 A12 : integer; 16 A13 : integer; 17 A14 : integer; 18 A15 : integer; 19 B1 : integer; 20 B2 : integer; 21 B3 : integer; 22 B4 : integer; 23 B5 : integer; 24 B6 : integer; 25 B7 : integer; 26 B8 : integer; 27 B9 : integer; 28 B10 : integer; 29 B11 : integer; 30 B12 : integer; 31 B13 : integer; 32 B14 : integer; 33 B15 : integer; 34 C1 : integer; 35 C2 : integer; 36 C3 : integer; 37 C4 : integer; 38 C5 : integer; 39 C6 : integer; 40 C7 : integer; 41 C8 : integer; 42 C9 : integer; 43 C10 : integer; 44 C11 : integer; 45 C12 : integer; 46 C13 : integer; 47 C14 : integer; 48 C15 : integer; 49 D1 : integer; 50 D2 : integer; 51 D3 : integer; 52 D4 : integer; 53 D5 : integer; 54 D6 : integer; 55 D7 : integer; 56 D8 : integer; 57 D9 : integer; 58 D10 : integer; 59 D11 : integer; 60 D12 : integer; 61 D13 : integer; 62 D14 : integer; 63 D15 : integer; 64 E1 : integer; 65 E2 : integer; 66 E3 : integer; 67 E4 : integer; 68 E5 : integer; 69 E6 : integer; 70 E7 : integer; 71 E8 : integer; 72 E9 : integer; 73 E10 : integer; 74 E11 : integer; 75 E12 : integer; 76 E13 : integer; 77 E14 : integer; 78 E15 : integer; 79 F1 : integer; 80 F2 : integer; 81 F3 : integer; 82 F4 : integer; 83 F5 : integer; 84 F6 : integer; 85 F7 : integer; 86 F8 : integer; 87 F9 : integer; 88 F10 : integer; 89 F11 : integer; 90 F12 : integer; 91 F13 : integer; 92 F14 : integer; 93 F15 : integer; 94 G1 : integer; 95 G2 : integer; 96 G3 : integer; 97 G4 : integer; 98 G5 : integer; 99 G6 : integer; 100 G7 : integer; 101 G8 : integer; 102 G9 : integer; 103 G10 : integer; 104 G11 : integer; 105 G12 : integer; 106 G13 : integer; 107 G14 : integer; 108 G15 : integer; 109 H1 : integer; 110 H2 : integer; 111 H3 : integer; 112 H4 : integer; 113 H5 : integer; 114 H6 : integer; 115 H7 : integer; 116 H8 : integer; 117 H9 : integer; 118 H10 : integer; 119 H11 : integer; 120 H12 : integer; 121 H13 : integer; 122 H14 : integer; 123 H15 : integer; 124 I1 : integer; 125 I2 : integer; 126 I3 : integer; 127 I4 : integer; 128 I5 : integer; 129 I6 : integer; 130 I7 : integer; 131 I8 : integer; 132 I9 : integer; 133 I10 : integer; 134 I11 : integer; 135 I12 : integer; 136 I13 : integer; 137 I14 : integer; 138 I15 : integer; 139 J1 : integer; 140 J2 : integer; 141 J3 : integer; 142 J4 : integer; 143 J5 : integer; 144 J6 : integer; 145 J7 : integer; 146 J8 : integer; 147 J9 : integer; 148 J10 : integer; 149 J11 : integer; 150 J12 : integer; 151 J13 : integer; 152 J14 : integer; 153 J15 : integer; 154 K1 : integer; 155 K2 : integer; 156 K3 : integer; 157 K4 : integer; 158 K5 : integer; 159 K6 : integer; 160 K7 : integer; 161 K8 : integer; 162 K9 : integer; 163 K10 : integer; 164 K11 : integer; 165 K12 : integer; 166 K13 : integer; 167 K14 : integer; 168 K15 : integer; 169 L1 : integer; 170 L2 : integer; 171 L3 : integer; 172 L4 : integer; 173 L5 : integer; 174 L6 : integer; 175 L7 : integer; 176 L8 : integer; 177 L9 : integer; 178 L10 : integer; 179 L11 : integer; 180 L12 : integer; 181 L13 : integer; 182 L14 : integer; 183 L15 : integer; 184 M1 : integer; 185 M2 : integer; 186 M3 : integer; 187 M4 : integer; 188 M5 : integer; 189 M6 : integer; 190 M7 : integer; 191 M8 : integer; 192 M9 : integer; 193 M10 : integer; 194 M11 : integer; 195 M12 : integer; 196 M13 : integer; 197 M14 : integer; 198 M15 : integer; 199 N1 : integer; 200 N2 : integer; 201 N3 : integer; 202 N4 : integer; 203 N5 : integer; 204 N6 : integer; 205 N7 : integer; 206 N8 : integer; 207 N9 : integer; 208 N10 : integer; 209 N11 : integer; 210 N12 : integer; 211 N13 : integer; 212 N14 : integer; 213 N15 : integer; 214 O1 : integer; 215 O2 : integer; 216 O3 : integer; 217 O4 : integer; 218 O5 : integer; 219 O6 : integer; 220 O7 : integer; 221 O8 : integer; 222 O9 : integer; 223 O10 : integer; 224 O11 : integer; 225 O12 : integer; 226 O13 : integer; 227 O14 : integer; 228 O15 : integer; 229 P1 : integer; 230 P2 : integer; 231 P3 : integer; 232 P4 : integer; 233 P5 : integer; 234 P6 : integer; 235 P7 : integer; 236 P8 : integer; 237 P9 : integer; 238 P10 : integer; 239 P11 : integer; 240 P12 : integer; 241 P13 : integer; 242 P14 : integer; 243 P15 : integer; 244 Q1 : integer; 245 Q2 : integer; 246 Q3 : integer; 247 Q4 : integer; 248 Q5 : integer; 249 Q6 : integer; 250 Q7 : integer; 251 Q8 : integer; 252 Q9 : integer; 253 Q10 : integer; 254 Q11 : integer; 255 Q12 : integer; 256 Q13 : integer; 257 Q14 : integer; 258 Q15 : integer; 259 R1 : integer; 260 R2 : integer; 261 R3 : integer; 262 R4 : integer; 263 R5 : integer; 264 R6 : integer; 265 R7 : integer; 266 R8 : integer; 267 R9 : integer; 268 R10 : integer; 269 R11 : integer; 270 R12 : integer; 271 R13 : integer; 272 R14 : integer; 273 R15 : integer; 274 S1 : integer; 275 S2 : integer; 276 S3 : integer; 277 S4 : integer; 278 S5 : integer; 279 S6 : integer; 280 S7 : integer; 281 S8 : integer; 282 S9 : integer; 283 S10 : integer; 284 S11 : integer; 285 S12 : integer; 286 S13 : integer; 287 S14 : integer; 288 S15 : integer; 289 T1 : integer; 290 T2 : integer; 291 T3 : integer; 292 T4 : integer; 293 T5 : integer; 294 T6 : integer; 295 T7 : integer; 296 T8 : integer; 297 T9 : integer; 298 T10 : integer; 299 T11 : integer; 300 T12 : integer; 301 T13 : integer; 302 T14 : integer; 303 T15 : integer; 304 U1 : integer; 305 U2 : integer; 306 U3 : integer; 307 U4 : integer; 308 U5 : integer; 309 U6 : integer; 310 U7 : integer; 311 U8 : integer; 312 U9 : integer; 313 U10 : integer; 314 U11 : integer; 315 U12 : integer; 316 U13 : integer; 317 U14 : integer; 318 U15 : integer; 319 V1 : integer; 320 V2 : integer; 321 V3 : integer; 322 V4 : integer; 323 V5 : integer; 324 V6 : integer; 325 V7 : integer; 326 V8 : integer; 327 V9 : integer; 328 V10 : integer; 329 V11 : integer; 330 V12 : integer; 331 V13 : integer; 332 V14 : integer; 333 V15 : integer; 334 W1 : integer; 335 W2 : integer; 336 W3 : integer; 337 W4 : integer; 338 W5 : integer; 339 W6 : integer; 340 W7 : integer; 341 W8 : integer; 342 W9 : integer; 343 W10 : integer; 344 W11 : integer; 345 W12 : integer; 346 W13 : integer; 347 W14 : integer; 348 W15 : integer; 349 X1 : integer; 350 X2 : integer; 351 X3 : integer; 352 X4 : integer; 353 X5 : integer; 354 X6 : integer; 355 X7 : integer; 356 X8 : integer; 357 X9 : integer; 358 X10 : integer; 359 X11 : integer; 360 X12 : integer; 361 X13 : integer; 362 X14 : integer; 363 X15 : integer; 364 Y1 : integer; 365 Y2 : integer; 366 Y3 : integer; 367 Y4 : integer; 368 Y5 : integer; 369 Y6 : integer; 370 Y7 : integer; 371 Y8 : integer; 372 Y9 : integer; 373 Y10 : integer; 374 Y11 : integer; 375 Y12 : integer; 376 Y13 : integer; 377 Y14 : integer; 378 Y15 : integer; 379 Z1 : integer; 380 Z2 : integer; 381 Z3 : integer; 382 Z4 : integer; 383 Z5 : integer; 384 Z6 : integer; 385 Z7 : integer; 386 Z8 : integer; 387 Z9 : integer; 388 Z10 : integer; 389 Z11 : integer; 390 Z12 : integer; 391 Z13 : integer; 392 Z14 : integer; 393 Z15 : integer; 394end; 395type BigRec2 = record 396 abcdefghijklmnopqrstuvwxyz : integer; 397 bcdefghijklmnopqrstuvwxyza : integer; 398 cdefghijklmnopqrstuvwxyzab : integer; 399 defghijklmnopqrstuvwxyzabc : integer; 400 efghijklmnopqrstuvwxyzabcd : integer; 401 fghijklmnopqrstuvwxyzabcde : integer; 402end; 403 404