const a: readonly number[] = [1];