K : [4]i64 = .[11, 22, 33, 44];
use_k :: () -> i64 { K[2] }