1  Error [ETYC0372077]: An array cannot have more than 512 elements, found one with 513 elements
 2      --> compiler-test:3:20
 3       |
 4     3 |     transition foo(a: [bool; 513]) -> bool {
 5       |                    ^^^^^^^^^^^^^^
 6  Error [ETYC0372077]: An array cannot have more than 512 elements, found one with 513 elements
 7      --> compiler-test:4:19
 8       |
 9     4 |         let bar = [false; 513];
10       |                   ^^^^^^^^^^^^