Unfortunately this one and the `Gc` one are actually legitimately fixed-size arrays (the internal bit has type `[int, .. 10]`).