main() { a '[20]'[20]'type![u32, u32]; a[20] = 200; }